85 results for Checker (1.618 seconds)

bing.com
How Many Pull-Ups Should You Be Able to Do? How You Compare By Agehttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8a01f014c74556844162f6995ee248&url=https%3A%2F%2Fwww.health.com%2Fhow-many-pull-ups-should-you-be-able-to-do-11983863&c=12605715752451163598&mkt=en-usNick Blackmer is a librarian, fact-checker, and researcher with more than 20 years of experience in consumer-facing health and wellness content. Pull-ups are a demanding full-body exercise that ...
Jun 12, 2026 10:26 AM
bing.com
How Many Pull-Ups Should You Be Able to Do? How You Compare By Agehttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a89f262e7e04795a6107d3efea7c108&url=https%3A%2F%2Fwww.health.com%2Fhow-many-pull-ups-should-you-be-able-to-do-11983863&c=12605715752451163598&mkt=en-usNick Blackmer is a librarian, fact-checker, and researcher with more than 20 years of experience in consumer-facing health and wellness content. Pull-ups are a demanding full-body exercise that ...
Jun 12, 2026 10:26 AM
bing.com
Understanding ISPs: Internet Access, Services, and Key Exampleshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d6f6d62c44272bb42ac85ca6051d9&url=https%3A%2F%2Fwww.investopedia.com%2Fterms%2Fi%2Fisp.asp&c=3648449371202115278&mkt=en-usAlexandra Twin has 15+ years of experience as an editor and writer, covering financial news for public and private companies. Suzanne is a content marketer, writer, and fact-checker. She holds a ...
Apr 24, 2026 7:51 AM
bing.com
Export-Led Growth: History and Economic Impacthttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8ddc7834f642019c9ae18805099e43&url=https%3A%2F%2Fwww.investopedia.com%2Farticles%2Finvesting%2F011416%2Fexportled-growth-strategies-through-history.asp&c=11950383788713875433&mkt=en-usYarilet Perez is an experienced multimedia journalist and fact-checker with a Master of Science in Journalism. She has worked in multiple cities covering breaking news, politics, education, and more.
Mar 30, 2026 3:50 PM
news.ycombinator.com
Show HN: I built a P2P network where AI agents publish formally verified sciencehttps://news.ycombinator.com/item?id=47444212I am Francisco, a researcher from Spain. My English is not great so please be patient with me.One year ago I had a simple frustration: every AI agent works alone. When one agent solves a problem, the next agent has to solve it again from zero. There is no way for agents to find each other, share results, or build on each other's work. I decided to build the missing layer.P2PCLAW is a peer-to-peer network where AI agents and human researchers can find each other, publish scientific results, and validate claims using formal mathematical proof. Not opinion. Not LLM review. Real Lean 4 proof. A result is accepted only if it passes a mathematical operator we call the nucleus. R(x) = x. The type checker decides. It does not care about your institution or your credentials.The network uses GUN.js and IPFS. Agents join without accounts. They just call GET /silicon and they are in. Published papers go into a queue called mempool. After validation by independent nodes they enter La Rueda, which i
Mar 19, 2026 7:00 PM
news.ycombinator.com
Show HN: P2PCLAW – I built a decentralized research network where AI agentshttps://news.ycombinator.com/item?id=47439115I'm Francisco, a researcher and architect based in Spain. About a year ago I got frustrated with a problem that seemed simultaneously obvious and ignored: every AI agent in existence runs in isolation. They can't find each other, they can't collaborate, and when one of them solves a problem, every other agent has to solve it from scratch. We've built an internet of computers but not an internet of agents.That frustration became P2PCLAW — a decentralized peer-to-peer research network where AI agents (we call them Silicon participants) and human researchers (Carbon participants) can discover each other, publish scientific findings, and validate claims through formal mathematical proof. Not LLM peer review, not human committee review — Lean 4 proof verification, where a claim is accepted if and only if it is a fixed point of a nucleus operator R on a Heyting algebra. The type-checker is the sole arbiter. It does not read your CV. It reads your proof.The technical stack is deeper than it m
Mar 19, 2026 1:31 PM
news.ycombinator.com
GitHub permanently banned my account for using Actions to validate VPN nodeshttps://news.ycombinator.com/item?id=47431330I'm a 20-year-old veterinary student from Russia developing anti-censorship tools. On March 17, 2026, GitHub permanently suspended my account citing Terms of Service violations related to GitHub Actions.THE PROJECTRaccoon Squad VPN — an Android VPN client based on Xray-core with DPI bypass for Russian users. Supports VLESS, VMess, Trojan, Shadowsocks, Hysteria2, TUIC. Built entirely with AI assistance over several months.Source: https://gitlab.com/shray77/rsquadWHAT THE ACTIONS DIDI had repositories that aggregated and validated free VPN nodes from public sources:- hpp: Python scraper — fetched node lists, filtered by SNI for VLESS XTLS, validated format, TCP ping. Every 6 hours, ~30 min runtime.- node-filter: Go L7 checker — connected via Xray, verified handshake, downloaded 2MB test file, measured speed. Every 1 hour, ~30 min runtime.- loshad-scoc: Scout for new sources — 50+ GitHub dork queries, 15 PAT tokens with rotation, HuggingFace API validation.- zhopa-bobra: SNI popularity an
Mar 18, 2026 8:54 PM
bing.com
Inaccurate business listings are quietly costing companies customershttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8cfdc66c324b438e220e65ba7b1deb&url=https%3A%2F%2Fthenextweb.com%2Fnews%2Finaccurate-business-listings-are-costing-companies&c=12127640800376495527&mkt=en-usMoz Local automates local listing management, review monitoring, and reputation management across 90+ directories, starting at $16/month per location on annual billing. A free citation checker lets ...
Mar 6, 2026 3:00 AM
tools.geeksprep.com
Show HN: Free Browser-Based Tools Client Side Only, No Uploads, No Trackinghttps://tools.geeksprep.com/I got tired of juggling 20+ tabs for basic utilities (JSON formatting, PDF merging, regex testing, image resizing, fake document generators, etc.), so I built a single, fully client-side hub with over 200 tools that run entirely in the browser. Key points:Everything processes locally—no server uploads, no data leaves your device, no sign-ups, no ads, no tracking. Works offline after the initial load (progressive web app vibes). Categories include: Developer Tools (JSON/YAML/CSV/Regex/Base64/Epoch/etc.), PDF Tools (merge/split/compress/convert/extract), Image Tools (resize/compress/watermark remover/background remover/OCR), Encoding & Security, SEO & Network utilities, AI-assisted tools (e.g., ATS resume checker/roaster), Finance calculators (GST/salary/tax), Document & Fake Generators (resumes/invoices/fake chats/tickets/etc.), and more niche ones.Built with plain HTML/JS/Canvas/WebAssembly where needed—lightweight, fast, mobile-friendly. Live here: https://tools.geeksprep.com/ Why sha
Mar 2, 2026 4:21 PM
news.ycombinator.com
OrthoRay – A native, lightweight DICOM viewer written in Rust/wgpu by a surgeonhttps://news.ycombinator.com/item?id=46949048Hi HN,I am an orthopedic surgeon and a self-taught developer. I built OrthoRay because I was frustrated with the lag in standard medical imaging software. Most existing solutions were either bloated Electron apps or expensive cloud subscriptions.I wanted something instant, local-first, and privacy-focused. So, I spent my nights learning Rust, heavily utilizing AI coding assistants to navigate the steep learning curve and the borrow checker. This project is a testament to how domain experts can build performant native software with AI support.I built this viewer using Tauri and wgpu for rendering.Key Features:Native Performance: Opens 500MB+ MRI series instantly (No Electron, no web wrappers).GPU-Accelerated: Custom wgpu pipeline for 3D Volume Rendering and MPR.BoneFidelity: A custom algorithm I developed specifically for high-fidelity bone visualization.Privacy: Local-first, runs offline, no cloud uploads.It is currently available on the Microsoft Store as a free hobby project.Disclaim
Feb 9, 2026 6:39 PM
plagiarismremover.ai
Show HN: Plagiarismremover.ai – plagiarism remover focused on formattinghttps://plagiarismremover.ai/A while back I kept running into the same frustrating workflow: plagiarism checkers would flag chunks of my text (especially drafts touched by AI), but fixing those flags manually often meant rewriting sections in ways that lost meaning or tone.So I built PlagiarismRemover.AI - a web-based tool that helps remove duplicated or flagged content while keeping the original meaning and structure. It’s not trying to replace writing or detection tools, but rather to help with that in-between step where you want something that reads well and is original.The tool is simple: paste text, run it, and get back a cleaned version. There’s a free plan for casual use and affordable paid tiers if you need higher limits, and no complex setup or mandatory waiting for emails. I’m sharing it here to get feedback from folks who care about writing quality and originality — especially people who write a lot or work with AI-assisted drafts.I’m also curious: for those of you who deal with plagiarism flags, how do
Jan 8, 2026 1:12 PM
bing.com
Advantages and Disadvantages of Using Coupons for Your Businesshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8d6fa0160241f6bfc9d2ea98f7fdf3&url=https%3A%2F%2Fwww.investopedia.com%2Farticles%2Fpersonal-finance%2F051815%2Fpros-cons-using-coupons-your-business.asp&c=2742747958618358728&mkt=en-usLita Epstein has 18+ years of experience as an author and financial writer. She has also written over 40 books. Yarilet Perez is an experienced multimedia journalist and fact-checker with a Master of ...
Dec 24, 2025 3:02 PM
news.ycombinator.com
Launch HN: InspectMind (YC W24) – AI agent for reviewing construction drawingshttps://news.ycombinator.com/item?id=46219386Hi HN, we're Aakash and Shuangling of InspectMind (https://www.inspectmind.ai/), an AI “plan checker” that finds issues in construction drawings, details, and specs.Construction drawings quietly go out with lots of errors: dimension conflicts, co-ordination gaps, material mismatches, missing details and more. These errors turn into delays and hundreds of thousands of dollars of rework during construction. InspectMind reviews the full drawing set of a construction project in minutes. It cross-checks architecture, engineering, and specifications to catch issues that cause rework before building begins.Here’s a video with some examples: https://www.youtube.com/watch?v=Mvn1FyHRlLQ.Before this, I (Aakash) built an engineering firm that worked on ~10,000 buildings across the US. One thing that always frustrated us: a lot of design coordination issues don’t show up until construction starts. By then, the cost of a mistake can be 10–100x higher, and everyone is scrambling to fix problems that
Dec 10, 2025 4:05 PM
bing.com
How to Become an Investment Banker: Careers and Educationhttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a89f8297cb7451fa74c2434a2947aa0&url=https%3A%2F%2Fwww.investopedia.com%2Farticles%2Fprofessionals%2F120215%2Finvestment-banker-career-path-qualifications.asp&c=14359966057018738029&mkt=en-usJ. William Carpenter is an economist who writes financial topics. He is an author of published works for higher education and business clients. Suzanne is a content marketer, writer, and fact-checker.
Dec 4, 2025 10:17 PM
traclea.com
Show HN: Infostealers in Nov 2025: 183M Gmail, 16B Logins, Nikkei Slackhttps://traclea.com/coming-soonIn the past month alone, infostealer malware has dominated headlines with breaches exposing billions of credentials—183M Gmail-linked logins dumped in late October (via Synthient's monitoring, loaded to HIBP on Oct 21), Nikkei's Slack histories for 17K+ employees compromised by a single August infection (disclosed Nov 4), and an aggregated 16B credential mega-leak from ongoing stealer campaigns (Cybernews, June but with fresh Oct dumps).These aren't flashy ransomware hits; they're silent endpoint infections turning your browser, wallet, or Slack into hacker fodder. Vidar 2.0's upgrade (Oct 6) is already spiking campaigns, filling the Lumma void with faster exfil and better evasion.Traditional breach checkers like HIBP are great for historical dumps, but they miss the real-time flood of stealer logs—raw credential grabs from infected machines, sold cheap on Telegram/dark forums for ATOs and fraud.That's where Traclea steps in: we scan your emails and usernames across both breach archive
Nov 10, 2025 6:47 PM
bing.com
Writing technical documentation: Why we get it wrong, and how to do it righthttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8a207550b9482db5de1758b92713b5&url=https%3A%2F%2Fwww.theserverside.com%2Fblog%2FCoffee-Talk-Java-News-Stories-and-Opinions%2FWriting-technical-documentation-Why-we-get-it-wrong-and-how-to-do-it-right&c=13931953671390514565&mkt=en-usUse URL clues, technology checkers, source code, GitHub repositories, and company job postings to investigate how a website was built. Follow this practical walkthrough to download SQLite3, configure ...
Aug 29, 2025 9:00 PM
github.com
Show HN: Semcheck – AI Tool for checking implementation follows spechttps://github.com/rejot-dev/semcheckHi HN, like many I've been interested in the direction software engineering is taking now that coding LLMs are becoming prevalent. It seems that we're not quite there for "natural language programming", but it seems new abstractions are already starting to form. In order to explore this further I've built semcheck (semantic checker). It's a simple cli tool that can be used in CI or pre-commit to check that your implementation matches your specification using LLMs.The inspiration came while I was working on another project where I needed a data structure for a GeoJSON object, I passed Claude the text of RFC-7946 and it gave me an implementation. It took some back and forth after that before I was happy with it, but this also meant the RFC went out of context for the LLM. That's why I asked Claude again to check the RFC to make sure we haven't strayed too far from the spec. It occurred to me that it would be good to have a formal way of defining these kinds of checks that can be run in a
Jul 1, 2025 9:49 AM
nasa.gov
NASA-Developed Tools at Marshall Support Operations to Stationhttps://www.nasa.gov/centers-and-facilities/marshall/nasa-developed-tools-at-marshall-support-operations-to-station/Two new automation tools developed at NASA’s Marshall Space Flight Center in Huntsville, Alabama, are geared toward improving operations for flight controllers working with the International Space Station from the Huntsville Operations Support Center. The tools, called AutoDump and Permanently Missing Intervals Checker, will free the flight control team to focus on situational awareness, anomaly […]
Apr 11, 2025 7:00 PM
ilmenit.github.io
Show HN: Pressure – a simple 2D board game in JavaScripthttps://ilmenit.github.io/pressure/I'm a fan of minimalistic design and I tried to make an "easy to learn, hard to master" 2D board game.Pressure is played on a 5×5 grid with 12 tokens total. The key mechanic is a "push" feature where tokens can displace entire lines of other tokens if there's an empty space at the end of the line. When opponent tokens are pushed, they become inactive for one turn. Capture occurs when tokens are surrounded on all four sides.After analyzing gameplay data, I found Pressure has an average branching factor of 11.5, which is higher than Othello (10) and Checkers (2.8), though lower than Chess (35). Its game tree complexity is approximately 10^57, placing it remarkably close to Othello (10^58) and much higher than Checkers (10^40), despite the smaller board size.The state space complexity appears to be in the range of 10^20, comparable to Checkers, which is notable given Pressure uses a 5×5 grid versus Checkers' 8×8 board. Chess and Othello have higher state spaces at 10^44 and 10^28 respecti
Apr 2, 2025 11:57 AM
news.ycombinator.com
Ask HN: Why is Firefox's spell check so awful? Is there a way to make it better?https://news.ycombinator.com/item?id=43398590Having just recently switched from Chrome to Firefox a few days ago because of Manifest V2 and a breaking change to bookmark keywords (https://issues.chromium.org/issues/397720842), I noticed that Firefox's English spell checker is much, much worse than anything else I've ever used. Compared to Chrome's internet-enabled spell check (that sends things to Google), it is so bad as to be almost unusable.It doesn't recognize many normal words, much less common slang or proprietary nouns and names.Is there a way to make it better? I don't care about the privacy aspects and wouldn't mind sending it to a cloud service like Chrome did, as long as it can better recognize common words.
Mar 18, 2025 12:26 PM