fp.
newest
Open in hackernews
An Introduction to Formal Logic(2020) [pdf]
https://logicmatters.net/ifl/pdfs/IFL2_LM.pdf
2
•
o4c
•
1h ago
Split Screen – browser workspaces to replace tab sprawl (free, local)
https://github.com/MIR-2025/brave-ext/tree/main/splitscreen
1
•
ruusvuu
•
2m ago
•
0 comments
A Tale of Two Tailnets
https://blog.exe.dev/a-tale-of-two-tailnets
2
•
shintoist
•
3m ago
•
0 comments
Shawn Ryan announces partnership with glacier [video]
https://www.youtube.com/watch?v=yB05HiKCCuI[video]
1
•
smalltorch
•
3m ago
•
1 comments
The Global Justice Report
https://globaljusticeproject.wid.world/global-justice-report/
1
•
homarp
•
4m ago
•
0 comments
Trump announces 2028 presidential bid
https://www.smh.com.au/world/trump-announces-2028-presidential-bid-20260725-p60iho.html
2
•
jiggawatts
•
15m ago
•
1 comments
Uber: Whatdoyoudo – Darden MBA Case Study (2020)
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3207044
1
•
mgh2
•
20m ago
•
1 comments
"As millionaires we have a message for our new Prime Minister: Tax us."
https://proudtopay.org
2
•
teekert
•
23m ago
•
2 comments
Michael Stevens and Hannah Fry: The Rest Is Science
https://therestis.com/science
1
•
tomfakes
•
26m ago
•
0 comments
The Architecture of Deep Thought: Fight AI Speed with Cognitive Friction
https://varnam.substack.com/p/the-architecture-of-deep-thought
1
•
arthurfleck
•
31m ago
•
0 comments
Show HN: Sync Claude Code and Codex configs, with a board that shows the drift
https://github.com/slash9494/ai-config-sync-manager
1
•
slash9494
•
33m ago
•
0 comments
AWS announces AWS-bench, an open-source benchmark for AI agents on AWS
https://aws.amazon.com/about-aws/whats-new/2026/07/aws-bench/
2
•
gslin
•
51m ago
•
0 comments
Lawsuits hours after new tariffs take effect, experts say tariffs may not hold
https://www.cnbc.com/2026/07/24/trump-tariffs-lawsuit-301-ieepa.html
2
•
MilnerRoute
•
54m ago
•
0 comments
A single underscore led to an innocent Halifax man's conviction
https://www.cbc.ca/news/politics/man-guilty-michael-barrett-threats-1.7546742
1
•
cperciva
•
55m ago
•
1 comments
Best Open-Weight LLMs by Memory Required (July 2026)
https://claude.ai/public/artifacts/4b74e194-a4b2-414f-a313-8d4b98a92b0b
2
•
yid
•
1h ago
•
1 comments
Coordination layer for AI coding agents, built on Git
https://github.com/zyads/loom-vcs
2
•
aether-zyads
•
1h ago
•
0 comments
An Introduction to Formal Logic(2020) [pdf]
https://logicmatters.net/ifl/pdfs/IFL2_LM.pdf
3
•
o4c
•
1h ago
•
0 comments
UK AISI / Caisi Preliminary Assessment of Kimi K3's Cyber Capabilities
https://www.nist.gov/news-events/news/2026/07/uk-aisi-caisi-preliminary-assessment-kimi-k3s-cyber...
3
•
walrus01
•
1h ago
•
0 comments
Why Do Autistic People Talk Like Animé Villains?
https://dispatchesfromtheautismwars.substack.com/p/why-do-autistic-people-talk-like
4
•
barry-cotter
•
1h ago
•
1 comments
Two Chinese win top Maths prize
https://www.bbc.com/news/articles/cvg84gp8xx4o
3
•
Alien1Being
•
1h ago
•
0 comments
The Productivity Mirage
https://frantic.im/mirage/
2
•
stopachka
•
1h ago
•
0 comments
US tech groups cut 140k jobs
https://www.ft.com/content/96a33881-27fd-42cf-8cff-4cbc87fc835f
5
•
Alien1Being
•
1h ago
•
1 comments
Corporate America Has Suddenly Decided to Stop Blowing Money on AI
https://www.wsj.com/business/china-us-ai-model-costs-53a12e96
5
•
Alien1Being
•
1h ago
•
2 comments
Escaping Claude Cowork's local VM sandbox via CVE-2026-46331
https://accomplish.ai/blog/sharedroot-escaping-claude-cowork-sandbox/
1
•
_orcaman_
•
1h ago
•
0 comments
Gatekeepers, Luddites, Haters and AI-Generated Maps
https://www.maproomblog.com/2026/07/gatekeepers-luddites-haters-and-ai-generated-maps/
2
•
ethagnawl
•
1h ago
•
0 comments
AI Agent Blameless Postmortem Template
https://cordum.io/blog/ai-agent-blameless-postmortem-template
1
•
ankitg12
•
1h ago
•
0 comments
The Discovery Problem: When AI Agents Build Tools No One Can Find
https://www.ixcoach.com/articles/the-discovery-problem-when-agents-build-invisible-tools
1
•
ankitg12
•
1h ago
•
0 comments
Points as Tori: Fast Pointwise Signed Distance for Point Clouds
https://nzfeng.github.io/research/PointsAsTori/
1
•
nill0
•
1h ago
•
0 comments
Opposing ICE Might Save the Country. It Could Also Ruin Your Life
https://www.wired.com/story/opposing-ice-might-save-the-country-could-also-ruin-your-life/
16
•
willmarch
•
1h ago
•
2 comments
C64 Online
https://c64online.com/
3
•
ibobev
•
1h ago
•
0 comments
Speculative Decoding: The Free Speed Toggle Your Local LLM Is Probably Not Using
https://vettedconsumer.com/speculative-decoding-explained-the-free-speed-toggle-your-local-llm-is...
2
•
ermantrout
•
2h ago
•
0 comments
Load More