Hackernews posts about Edge

Edge is Microsoft's web browser that sends viewed online images to its servers for processing, forcing users to open links in Edge and Teams by default, much to the dismay of IT admins.

1. Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
   145 points by tesserato 15 days ago | 65 comments
2. Musk cuts Starlink access for Russian forces – giving Ukraine an edge (www.bbc.com)
   12 points by dabinat 13 days ago | 5 comments
3. Tell HN: Microsoft Edge self-destroys updating it in Debian based distros
   10 points by usr1106 16 days ago | 1 comments
4. Musk cuts Starlink access for Russian forces giving Ukraine an edge at the front (www.bbc.com)
   6 points by MilnerRoute 13 days ago | 4 comments
5. The Edge of Mathematics (www.theatlantic.com)
   6 points by hackernj 7 days ago | discuss
6. Show HN: Emmtrix ONNX-to-C Code Generator for Edge AI Deployment (github.com)
   6 points by emx-can 29 days ago | discuss
7. Privacy researcher debunks Microsoft Edge's free VPN marketing, it's "NOT a VPN" (www.windowslatest.com)
   5 points by XzetaU8 9 days ago | discuss
8. Knife edge getting dull time lapse [video] (www.youtube.com)
   4 points by dvh 11 days ago | 1 comments
9. The Edge of Mathematics (www.theatlantic.com)
   4 points by danielmorozoff 6 days ago | discuss
10. The Edge of Mathematics – Terence Tao (www.theatlantic.com)
    4 points by tlyleung 7 days ago | discuss
11. Doc Edgerton a.k.a. "Papa Flash" (en.wikipedia.org)
    4 points by petethomas 15 days ago | discuss
12. Life at the Edge (asadk.com)
    4 points by tosh 25 days ago | discuss
13. Olga Tokarczuk and the Edge of Poland (www.historytoday.com)
    4 points by lermontov 29 days ago | discuss
14. Show HN:Edge Veda – A framework for resource-aware edge computing (github.com)
    3 points by ram2497 13 days ago | 4 comments
15. Ephemeral – Easily manage and host Webosockets on the edge (ephemeral.ws)
    3 points by ryzmdotdev 22 days ago | 4 comments
16. Grindr tests new AI subscription called "Edge" that costs up to $6k a year (www.dexerto.com)
    3 points by randycupertino 28 days ago | 1 comments
17. The Edge of Mathematics – Interview with Terence Tao (www.theatlantic.com)
    3 points by haomiao 8 days ago | discuss
18. OpenAI Claims DeepSeek Distilled US Models to Gain an Edge (www.bloomberg.com)
    3 points by smurda 19 days ago | discuss
19. Show HN: EdgeAI-OS – Air-gapped Linux distro where AI is a system primitive
    2 points by neuralweaves 23 days ago | 2 comments
20. What is the probability of a coin landing on its edge?
    2 points by vivzkestrel 12 days ago | 1 comments
21. Edgequake-litellm – Rust-backed drop-in replacement for LiteLLM (v0.1) (github.com)
    2 points by raphaelmansuy 12 days ago | 1 comments
22. Science at the Edge of the World (www.fightforthehuman.com)
    2 points by MaysonL 30 days ago | 1 comments
23. EURO-3C Project to build a federated Telco-Edge-Cloud infrastructure (digital-strategy.ec.europa.eu)
    2 points by _____k about 11 hours ago | discuss
24. How Albert Einstein Found Faith at the Edge of Reason (2003) (thereader.mitpress.mit.edu)
    2 points by anarbadalov 1 day ago | discuss
25. Edge – Generate structured evaluation criteria for any domain using a local LLM (github.com)
    2 points by TiagoSantos 3 days ago | discuss
26. Edge Case Poisoning (buttondown.com)
    2 points by azhenley 4 days ago | discuss
27. Show HN: Data Processing Recipes for Edge Computing and AI Agents
    2 points by TheIronYuppie 14 days ago | discuss
28. The U.S. needs leading-edge chip research. Can Intel deliver? Will it even try? (www.oregonlive.com)
    2 points by osnium123 19 days ago | discuss
29. Tech Edge: A Living Playbook for America's Technology Long Game (csis-website-prod.s3.amazonaws.com)
    2 points by hunglee2 25 days ago | discuss
30. Ask HN: How do you test payment webhook edge cases?
    1 points by jalalmanafi 23 days ago | 5 comments