Hacker News new | past | comments | ask | show | jobs | submit | dkga's comments login

This would be awesome. Another thing on my wish list is a requirement to simply reject all cookies, a la lynx. I absolutely hate having to deselect some cookies while feeling like I am treated as an idiot for accepting “absolutely essential” cookies that are of course not essential at all.

Perhaps a simpler and more reachable approach at this point would be to use the mathlib documentation to fuel a RAG on top of the fine-tuned/specialised model.


I love this type of posts, and I’m amazed the speaker exposes its API like this.

The kid in me thinks there could also be a way perhaps to transmit audio through this (or another) API? (very low chance, but…)


From his filesystem listing in the post it looks like you can overwrite firmware update data. I wouldn't be surprised if you can make it play or capture whatever you want be overwriting the firmware.


Now I know for certain that all that N64 Star Fox has clinically helped me :)

To this day when I need to focus on an issue I often say “Location confirmed, sending supplies” or some other SF sentence.


Or maybe a lot of this is intentional, sadly?


This type of data just makes me dislike cars even more, and in particular the unnecessarily large ones we see in Americas and increasingly in Europe.


A part of my work is literally building nowcasting and other types of prediction models in economics (inflation, GDP etc) and finance (market liquidity, etc). I haven’t yet had a chance to read the paper but overall the tone of “transformers are great for what they do but LSTM-type of models are very valuable still” completely resonates with me.


Have you had the chance to apply Mamba to your work at all? Thoughts?


Congrats! Sorry if you shared here below and I missed it, but I'd love to hear what exactly didn't work out with a pure Swift approach. I'm trying that route for a SQL client based on duckdb (as a side project) and would be very helpful to avoid similar pitfalls for example.


Awesome!

I did some explaining in this comment here: https://news.ycombinator.com/item?id=40899748

Good luck with your project. Let me know if you'd like any tips on the code editor stuff or anything else I can help with.


Great, many thanks! And yes, I hope to have something to share in some ~12 months time. The goal ie to be essentially an SQL client that (a) benefits from ducker's excellent performance and flexible SQL language, and (b) has data-science-helpful features, like the ability to filter or reorder columns with the mouse (or keyboard) afeter the data is queries.


Stumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!


Amazing animation (and idea) indeed, as someone who loves using the terminal and sometimes - only sometimes - like to see something new like this.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: