| 1. | | Introduction to Formal Methods (Part 2): From Spec to Code (vikramsg.github.io) |
| 1 point by whinvik 61 days ago | past |
|
| 2. | | Introduction to Formal Methods – Part 1 (vikramsg.github.io) |
| 3 points by whinvik 69 days ago | past |
|
| 3. | | Deep Research from OpenAI now available as API (platform.openai.com) |
| 2 points by whinvik 8 months ago | past |
|
| 4. | | Add Virtual Threads to Python (python.org) |
| 2 points by whinvik 9 months ago | past |
|
| 5. | | The Birth of Parquet (sympathetic.ink) |
| 145 points by whinvik on May 7, 2024 | past | 79 comments |
|
| 6. | | Ask HN: Why do Python libraries make so many breaking changes? |
| 3 points by whinvik on July 22, 2023 | past | 6 comments |
|
| 7. | | Python decorators make composability easier (vikramsg.github.io) |
| 2 points by whinvik on June 22, 2023 | past |
|
| 8. | | Comparing GPT with Open Source LLM’s (vikramsg.github.io) |
| 2 points by whinvik on June 16, 2023 | past |
|
| 9. | | Travel across Germany with the 49 Euro ticket (49travel.vercel.app) |
| 188 points by whinvik on June 8, 2023 | past | 224 comments |
|
| 10. | | Numba can be slower than even Pandas, or why you should always benchmark (vikramsg.github.io) |
| 2 points by whinvik on May 24, 2023 | past |
|
| 11. | | Speeding up Pandas GroupBy Apply by using NumPy instead (vikramsg.github.io) |
| 4 points by whinvik on May 19, 2023 | past |
|
| 12. | | Ask HN: What tools and workflow do you use to understand new libraries |
| 7 points by whinvik on Oct 28, 2021 | past | 1 comment |
|
| 13. | | Can we make machine learning more efficient using conservation laws? (vikramsg.github.io) |
| 2 points by whinvik on March 25, 2021 | past |
|
| 14. | | A history of the first practical programming language Fortran (twitter.com/whinervikram) |
| 1 point by whinvik on Sept 19, 2020 | past | 3 comments |
|
| 15. | | The mathematical method from the movie Hidden Figures (twitter.com/whinervikram) |
| 3 points by whinvik on Sept 12, 2020 | past |
|
| 16. | | A Nobel Prize winner used a numerical approximation that lead to a new field (twitter.com/whinervikram) |
| 2 points by whinvik on Sept 5, 2020 | past |
|
| 17. | | F117: A Soviet scientist enabled the design of this legendary aircraft (twitter.com/whinervikram) |
| 2 points by whinvik on Aug 29, 2020 | past |
|
| 18. | | What is the Navier Stokes problem? (twitter.com/whinervikram) |
| 3 points by whinvik on Aug 22, 2020 | past |
|
| 19. | | Einstein's PhD Thesis (twitter.com/whinervikram) |
| 2 points by whinvik on Aug 15, 2020 | past | 3 comments |
|
| 20. | | Short History of Fluid Mechanics (twitter.com/whinervikram) |
| 4 points by whinvik on Aug 8, 2020 | past |
|
