frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

TaxCalcBench: A benchmark for evaluating AI's ability to calculate tax returns

https://www.columntax.com/blog/taxcalcbench
1•sundaypancakes•1m ago•0 comments

A Lockpicking Robot That Can Sense the Pins

https://hackaday.com/2025/07/21/a-lockpicking-robot-that-can-sense-the-pins/
1•lxm•2m ago•0 comments

The Signal Protocol Explained #1: Implementing the PQXDH Protocol in Rust

https://kerkour.com/signal-protocol-pqxdh-rust
1•randomint64•5m ago•0 comments

Kimi K2: First Open Model to Challenge Claude

https://blog.kilocode.ai/p/kimi-k2-first-open-model-to-challenge
1•sytse•5m ago•0 comments

San Francisco to ban homeless people from living in RVs with new parking limit

https://abcnews.go.com/US/wireStory/san-francisco-ban-homeless-people-living-rvs-new-123948047
2•harambae•6m ago•0 comments

Trip to moon required Apollo 11 crew to sign US Customs declaration to enter US

https://magazine.uc.edu/editors_picks/recent_features/armstrong/moonrocks.html
2•ajuhasz•6m ago•1 comments

Crypto Doesn't Need Blockchain

2•ricecat•7m ago•1 comments

Show HN: Single-agent long-horizon reasoning within one LLM run

https://huggingface.co/papers/2507.16784
1•hyluo•8m ago•0 comments

OpenAI Seeks Additional Capital from Its Investors as Part of Its $40B Round

https://www.wired.com/story/openai-fundraising-round-softbank-sam-altman/
1•cmogni1•8m ago•0 comments

Admin behind major Russian-speaking cybercrime forum XSS arrested in Ukraine

https://www.europol.europa.eu/media-press/newsroom/news/key-figure-behind-major-russian-speaking-cybercrime-forum-targeted-in-ukraine
1•edm0nd•9m ago•0 comments

Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025

https://www.rfleury.com/p/cracking-the-code-realtime-debugger
1•ibobev•9m ago•0 comments

Leading 3D printing site bans firearm files; home gun makers have better options

https://www.theregister.com/2025/07/23/thingiverse_drops_3d_gun_designs/
2•rntn•9m ago•0 comments

Aula WIN68 Hall-Effect Standard Edition Keyboard Review

https://boilingsteam.com/aula-win68he-review/
2•ekianjo•9m ago•0 comments

Why not building a startup while having a balanced lifestyle?

https://join.40hourentrepreneur.com/
1•fabianoao•10m ago•0 comments

The Politics of Humiliation

https://www.liberalcurrents.com/the-politi/
2•speckx•10m ago•0 comments

Show HN: Free AI Landscape Design Tool –Upload photo, get garden ideas instantly

https://ailandscape.app
1•lcorinst•11m ago•0 comments

Show HN: CalOverlap – Group Scheduling from Multiple Calendly/Cal.com Links

https://caloverlap.com/
2•vladimirbaranov•11m ago•0 comments

Karpenter GCP Provider is available now

https://github.com/cloudpilot-ai/karpenter-provider-gcp
1•jwcesign•11m ago•0 comments

What is MAX, the state-owned app Russia is trying to replace WhatsApp with?

https://www.firstpost.com/explainers/what-is-max-the-state-owned-app-russias-vladimir-putin-is-trying-to-replace-whatsapp-with-13910147.html
2•N19PEDL2•13m ago•0 comments

Tabby: A terminal for a more modern age

https://tabby.sh/
3•thunderbong•13m ago•0 comments

Make Your Agent Listen: Tactics for Obedience

https://blog.pamba.app/tactics-for-agent-obedience/
2•fiesycal•14m ago•0 comments

US AI Action Plan

https://www.ai.gov/action-plan
2•joelburget•14m ago•0 comments

Man Is Wrongfully Jailed for Heinous Crime Due to Facial Recognition Technology

https://petapixel.com/2025/07/23/man-is-wrongfully-jailed-for-heinous-crime-due-to-facial-recognition-technology/
1•ColinWright•15m ago•0 comments

The AI bubble: These are not the droids we are looking for

https://ctsmyth.substack.com/p/the-ai-bubble
1•K0balt•15m ago•1 comments

Show HN: K-58 – a story game powered by AI

https://k58.duya.io/
2•tschillaci•15m ago•0 comments

UK competition watchdog to act over Apple and Google's mobile platforms

https://www.theguardian.com/business/2025/jul/23/uk-watchdog-to-take-action-over-apple-and-googles-mobile-platforms
1•johneth•15m ago•1 comments

A lab making the advanced fuel to power growing US nuclear energy ambitions

https://www.ap.org/news-highlights/spotlights/2025/a-look-inside-a-lab-making-the-advanced-fuel-to-power-growing-us-nuclear-energy-ambitions/
1•PaulHoule•16m ago•0 comments

Humanlike?

https://aeon.co/essays/when-is-enjoying-funny-animal-videos-not-anthropomorphism
1•Vigier•16m ago•0 comments

Email Privacy Tester

https://www.emailprivacytester.com/
1•pabs3•17m ago•0 comments

Teleport: Check if your Windows apps are compatible on Linux

https://teleportsite.pages.dev/
2•LorenDB•18m ago•0 comments
Open in hackernews

Proof by Contrapositive Is Wrong

1•slack3r•6h ago
Proof by contrapositive is wrong. There is a true, false and undecidable case also.

Let me explain how it works.

p. =>. q. does not necessarily imply not q ==> not p. There are three cases here. If not q is true, then p can also be undecidable.

Comments

apothegm•6h ago
If p is undecidable in that case, then p ==> q is false. The meaning of the statement p ==> q is that p is never true without q also being true.
slack3r•4h ago
You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance.
FrankWilhoit•3h ago
Which letter of "if" do you not understand?