10921.
From Intent to Proof: Dafny Verification for Web Apps
(midspiral.com)
Dec 26 at 04:19 PM ago
| discuss
10922.
Guide to Machine Learning
(www.ibm.com)
Dec 26 at 03:43 PM ago
| discuss
10923.
Dec 26 at 03:43 PM ago
| discuss
10924.
Show HN: Text Behind Image – put text behind objects using AI
(text-behind-image.org)
Dec 26 at 03:27 PM ago
| discuss
10925.
Optics Primer, Part 1: Traditional Pluggable Optics
(www.chipstrat.com)
Dec 26 at 03:27 PM ago
| discuss
10926.
Dec 26 at 03:16 PM ago
| discuss
10927.
Dec 26 at 02:58 PM ago
| discuss
10928.
Dec 26 at 02:58 PM ago
| discuss
10929.
We May Never Know If AI Is Conscious, Says Cambridge Philosopher
(scitechdaily.com)
Dec 26 at 02:20 PM ago
| discuss
10930.
Rebellions AI Puts Together an HBM and Arm Alliance to Take on Nvidia
(www.nextplatform.com)
Dec 26 at 02:20 PM ago
| discuss
10931.
Aligning to What? Rethinking Agent Generalization in MiniMax M2
(huggingface.co)
Dec 26 at 02:20 PM ago
| discuss
10932.
Dec 26 at 02:20 PM ago
| discuss
10933.
Dec 26 at 02:20 PM ago
| discuss
10934.
Dec 26 at 01:31 PM ago
| discuss
10935.
Dec 26 at 01:31 PM ago
| discuss
10936.
ChatGPT Ads May Prioritize Sponsored Content in AI Responses
(www.seroundtable.com)
Dec 26 at 01:31 PM ago
| discuss
10937.
LLM Awards 2025: Based on Workflow, Value and Taste
(apurva-mishra.com)
Dec 26 at 01:31 PM ago
| discuss
10938.
Peter Naur's legacy: Mental models in the age of AI coding
(www.nutrient.io)
Dec 26 at 01:31 PM ago
| discuss
10939.
Reverse API Engineer
(github.com)
Dec 26 at 01:00 PM ago
| discuss
10940.
Dec 26 at 12:14 PM ago
| discuss
10941.
Dec 26 at 12:03 PM ago
| discuss
10942.
12 executives, researchers, others who left OpenAI in 2025 — mostly to Meta Superintelligence Lab
(www.businessinsider.com)
Dec 26 at 12:02 PM ago
| discuss
10943.
Understanding Attention in Transformers with Visual Intuition
(miladvlp.github.io)
Dec 26 at 11:40 AM ago
| discuss
10944.
LUMI – Try styles and furniture on your real room photo
(raumplaner.io)
Dec 26 at 11:26 AM ago
| discuss
10945.
Dec 26 at 11:20 AM ago
| discuss
10946.
Dec 26 at 11:03 AM ago
| discuss
10947.
AI Kissing Video Generator – Create Realistic Kissing Videos
(aikissingvideogenerator.co)
Dec 26 at 10:53 AM ago
| discuss
10948.
5 AI advertising controversies that turned heads this year, from Meta's AI granny to Coca-Cola's shape-shifting trucks
(www.businessinsider.com)
Dec 26 at 10:45 AM ago
| discuss
10949.
A new way to extract detailed transcripts from Claude Code
(simonwillison.net)
Dec 26 at 10:39 AM ago
| discuss
10950.
Calibre adds AI "discussion" feature
(lwn.net)
Dec 26 at 10:39 AM ago
| discuss