| 1. | | Goodbye Python-Mip? (oberdieck.dk) |
| 1 point by yeesian on Nov 13, 2024 | past |
|
| 2. | | Esmeralda (esmeralda.org) |
| 20 points by yeesian on Oct 18, 2024 | past | 18 comments |
|
| 3. | | Coding Patterns – The CP-SAT Primer (d-krupke.github.io) |
| 2 points by yeesian on Sept 28, 2024 | past |
|
| 4. | | A Strengthened Implementation of CuPDLP for Linear Programming by C Language (arxiv.org) |
| 1 point by yeesian on Sept 28, 2024 | past |
|
| 5. | | Understanding the Decline of Impact Factors in Informs Journals (informs.org) |
| 1 point by yeesian on Sept 22, 2024 | past |
|
| 6. | | Towards Large Language Models as Copilots for Theorem Proving in Lean (arxiv.org) |
| 3 points by yeesian on Sept 12, 2024 | past |
|
| 7. | | Exploring the Limits of Transfer Learning with a Unified Transformer (2019) (arxiv.org) |
| 12 points by yeesian on July 13, 2024 | past | 1 comment |
|
| 8. | | How do I get started with Jax on TPU VMs (github.com/shawwn) |
| 23 points by yeesian on March 30, 2024 | past | 17 comments |
|
| 9. | | Linearity of Relation Decoding in Transformer Language Models (baulab.info) |
| 1 point by yeesian on March 30, 2024 | past |
|
| 10. | | LLM Evaluation: Everything You Need to Run, Benchmark Evals (arize.com) |
| 2 points by yeesian on March 12, 2024 | past |
|
| 11. | | Speech and Language Processing (3rd ed. draft) (stanford.edu) |
| 214 points by yeesian on March 11, 2024 | past | 32 comments |
|
| 12. | | The Greatest Meme Template (readtrung.com) |
| 31 points by yeesian on March 8, 2024 | past | 9 comments |
|
| 13. | | Coalescence: Making LLM inference 5x faster (dottxt.co) |
| 5 points by yeesian on March 7, 2024 | past |
|
| 14. | | Fast JSON Decoding for Local LLMs with Compressed Finite State Machine (lmsys.org) |
| 1 point by yeesian on March 7, 2024 | past |
|
| 15. | | Generative Uncertainty (vaughntan.org) |
| 7 points by yeesian on Dec 31, 2023 | past |
|
| 16. | | My Life as a Con Man (2020) (swyx.io) |
| 4 points by yeesian on Nov 9, 2023 | past |
|
| 17. | | Using llama-cpp-Python grammars to generate JSON (simonwillison.net) |
| 2 points by yeesian on Nov 8, 2023 | past |
|
| 18. | | Finite-State Transducers in Language and Speech Processing (1997) (aclanthology.org) |
| 3 points by yeesian on Nov 1, 2023 | past | 1 comment |
|
| 19. | | Finite-State Transducer (wikipedia.org) |
| 6 points by yeesian on Nov 1, 2023 | past | 1 comment |
|
| 20. | | OpenFst Python Extension (openfst.org) |
| 4 points by yeesian on Nov 1, 2023 | past | 1 comment |
|
| 21. | | Chevrotain: Parser Building Toolkit for JavaScript (chevrotain.io) |
| 1 point by yeesian on Oct 31, 2023 | past |
|
| 22. | | Peg Parsers (2019) (medium.com/gvanrossum_83706) |
| 1 point by yeesian on Oct 31, 2023 | past | 1 comment |
|
| 23. | | Ohm: A library and language for building parsers, interpreters, compilers, etc (github.com/ohmjs) |
| 108 points by yeesian on Oct 31, 2023 | past | 21 comments |
|
| 24. | | Grammar Prompting for Domain-Specific Language Generation with LLMs (arxiv.org) |
| 1 point by yeesian on Oct 31, 2023 | past | 1 comment |
|
| 25. | | Alternate Hard and Soft Layers (c2.com) |
| 1 point by yeesian on Oct 31, 2023 | past | 1 comment |
|
| 26. | | The decline of computers as a general-purpose technology (2021) (acm.org) |
| 242 points by yeesian on Oct 21, 2023 | past | 231 comments |
|
| 27. | | God Give Me a Sine: Adventures in Interval Arithmetic (2021) (samlikes.pizza) |
| 3 points by yeesian on Sept 15, 2023 | past |
|
| 28. | | A worker-centered approach to convex optimization in engineering design [video] (youtube.com) |
| 2 points by yeesian on Sept 1, 2023 | past |
|
| 29. | | Structuring Technical Blog Posts (buttondown.email/j2kun) |
| 3 points by yeesian on Aug 27, 2023 | past |
|
| 30. | | NP-hard does not mean easy (buttondown.email/j2kun) |
| 4 points by yeesian on Aug 27, 2023 | past |
|
|
| More |
