fp.
newest
Open in hackernews
Tarski's influence on computer science [pdf]
https://math.stanford.edu/~feferman/papers/tarskiandcs.pdf
1
•
remywang
•
1h ago
Amazon has enough satellites to launch its Starlink competitor
https://www.theverge.com/science/960563/amazon-leo-service-tipping-point
2
•
Brajeshwar
•
4m ago
•
0 comments
High-performance Rust: Understanding and eliminating memory fragmentation
https://kerkour.com/rust-high-performance-memory-fragmentation-allocations
1
•
dabinat
•
5m ago
•
0 comments
I
https://www.washingtonpost.com/technology/2026/07/01/biggest-tech-companies-are-considering-wheth...
1
•
mrich
•
5m ago
•
0 comments
Zk.golf: Fearless and Collaborative Optimization of Circuits
https://blog.zksecurity.xyz/posts/zkgolf/
1
•
baby
•
6m ago
•
1 comments
SurrealDB Cloud Scale: built for high availability and scale
https://surrealdb.com/blog/introducing-scale-surrealdb-cloud-built-for-high-availability-and-scale
2
•
itsezc
•
7m ago
•
0 comments
Show HN: ctx – Search the coding agent history already on your machine
https://github.com/ctxrs/ctx
3
•
luca-ctx
•
7m ago
•
0 comments
Show HN: Randomify – stumble onto niche music at random
https://randomify.net
1
•
s_e__a___n
•
9m ago
•
0 comments
OctoSense: Self-Supervised Learning for Multimodal Robot Perception
https://abisulco.com/octosense/
1
•
anthonytec2
•
9m ago
•
0 comments
Drilling into magma is one thing geothermal engineers are trained never to do
https://www.autonocion.com/us/krafla-volcano-iceland-geothermal/
1
•
DamonHD
•
10m ago
•
0 comments
Angus Barbieri's Fast
https://en.wikipedia.org/wiki/Angus_Barbieri%27s_fast
1
•
rzk
•
10m ago
•
0 comments
Frame: Grounding LLM Vulnerability Detection with a Sound Separation-Logic Core
https://lambdasec.github.io/Frame-Grounding-LLM-Vulnerability-Detection-with-a-Sound-Separation-L...
1
•
codelion
•
11m ago
•
0 comments
ZeroLabs – 100x cheaper than ElevenLabs (free forever locally) with open models
https://huggingface.co/spaces/multimodalart/ZeroLabs
1
•
polisteps
•
12m ago
•
1 comments
Agent Usage on the Hugging Face Hub
https://huggingface.co/datasets/huggingface/agent-usage
1
•
petethomas
•
16m ago
•
0 comments
Show HN: Kubelens-If kubectl works, you're ready. A browser UI for your cluster
https://github.com/jialinhuang00/kubelens
2
•
jiaLin1014
•
16m ago
•
0 comments
With 76,475 dead, Canada appears to find its line on euthanasia
https://www.washingtonpost.com/opinions/2026/07/02/canada-finally-slows-euthanasia-train/
2
•
bookofjoe
•
18m ago
•
2 comments
RTL Text Tools – A zero-dependency text processing toolkit for RTL languages
https://github.com/homayounmmdy/rtl-text-tools
1
•
homayoun763
•
19m ago
•
0 comments
Trump gets OpenAI to offer US 5% stake, far lower than Sanders' target
https://arstechnica.com/tech-policy/2026/07/openai-floats-giving-us-5-stake-to-win-over-ai-haters/
1
•
johnhamlin
•
20m ago
•
1 comments
French race to get hold of air conditioning as yet another heatwave looms
https://www.france24.com/en/france/20260702-france-race-get-hold-of-air-conditioning-ac-third-hea...
1
•
rustoo
•
20m ago
•
0 comments
Flexible Metaprogramming with Rhombus
https://lwn.net/SubscriberLink/1079001/67840550991151ed/
2
•
spdegabrielle
•
22m ago
•
0 comments
OpenAI proposed donating 5% of its equity to a US sovereign wealth fund
https://techcrunch.com/2026/07/02/openai-proposed-donating-5-of-its-equity-to-a-us-sovereign-weal...
1
•
CupofChineseTea
•
23m ago
•
1 comments
Mapping the human element of AI risks in an AI world
1
•
rando77
•
24m ago
•
1 comments
Apple Seeks to Buy Chinese-Made Memory Chips by Lobbying US
https://www.bloomberg.com/news/articles/2026-07-01/apple-seeks-to-buy-chinese-made-memory-chips-w...
3
•
ksec
•
24m ago
•
0 comments
Terminal Is Your Newspaper
https://www.sayantan.sh/blog/your-terminal-prints-a-newspaper
2
•
Morningstar317
•
24m ago
•
1 comments
Read the Emails Revealing How Anthropic's Pentagon Relationship Fell Apart
https://www.wsj.com/politics/national-security/read-the-emails-revealing-how-anthropics-pentagon-...
1
•
thm
•
24m ago
•
1 comments
Claude Code SOCKS5 Bypass Shows Why Egress Filters Belong at the Boundary
https://medium.com/@Koukyosyumei/claude-codes-socks5-proxy-bypass-why-egress-filtering-must-happe...
1
•
syumei
•
25m ago
•
0 comments
Ask HN: Who is having any amount of success with Fable?
2
•
kingforaday
•
25m ago
•
0 comments
Show HN: ZkGolf
https://zk.golf/
10
•
rot256
•
25m ago
•
1 comments
AI Refactored a 3-Year Codebase in 20 Minutes–and Nearly Torched a Team
https://guibai.dev/a/7657392618506764326/
1
•
Soarez
•
26m ago
•
0 comments
Measuring Input Latency with VK_EXT_present_timing
https://themaister.net/blog/2026/07/02/my-side-quest-measuring-input-latency-with-vk_ext_present_...
1
•
ledoge
•
27m ago
•
0 comments
Show HN: Inkwell – An RSS reader for e-ink devices
https://kendal.codeberg.page/inkwell/
1
•
imkendal
•
27m ago
•
0 comments
Load More