Hacker news

Article URL: https://fstar-lang.org/

Comments URL: https://news.ycombinator.com/item?id=42508642

Points: 25

# Comments: 0

https://fstar-lang.org/

Thread for 2024: https://news.ycombinator.com/item?id=38782613

Thread for 2023: https://news.ycombinator.com/item?id=33873800

I'd like to take on VR dev alongside my existing journeys in computer graphics, iOS dev and Unreal Engine. A stretch goal would be setting up a blog to document my experiences in those journeys.

In terms of non-technical skills, I'm thinking of focusing on sales and marketing. Those are fundamental skills, without which any side project I do would be doomed to f

Article URL: https://grist.org/international/three-quarters-of-the-worlds-land-is-drying-out-redefining-life-on-earth/

Comments URL: https://news.ycombinator.com/item?id=42509434

Points: 6

# Comments: 0

https://grist.org/international/three-quarters-of-the-worlds-land-is-drying-out-redefin

Article URL: https://www.dbos.dev/blog/ezrgb-dbos-light-shows

Comments URL: https://news.ycombinator.com/item?id=42494512

Points: 4

# Comments: 0

https://www.dbos.dev/blog/ezrgb-dbos-light-shows

Article URL: https://medium.com/inspiredbrilliance/exploring-lora-part-1-the-idea-behind-parameter-efficient-fine-tuning-and-lora-ec469d176c26

Comments URL: https://news.ycombinator.com/item?id=42493871

Points: 93

# Comments: 8

https://medium.com/inspiredbrilliance/

Article URL: https://eclecticlight.co/2024/12/23/will-that-hub-or-dock-slow-your-ssds-or-even-make-them-faster/

Comments URL: https://news.ycombinator.com/item?id=42494723

Points: 72

# Comments: 61

https://eclecticlight.co/2024/12/23/will-that-hub-or-dock-slow-your-ssds-or-even-make-them-faster/

Hello Hackers, Happy Christmas to all.

Recently I have not been able to find time to work on some side projects or to try something new. Sometimes I slack off after returning from the office. Often it leads to bedtime procrastination and endless scrolling on the phone just for the sake of me-time.

From your experience, what tips or practices would you suggest to keep disciplined?

Comments URL: https://news.ycombinator.co

Article URL: https://medium.com/@bdratings/all-your-models-are-destroyed-the-rise-and-future-fall-of-microstrategy-5916dd3c0021

Comments URL: https://news.ycombinator.com/item?id=42508668

Points: 20

# Comments: 14

https://medium.com/@bdratings/all-your-models-are-destroyed-the-ris

As a grad student (and an ADHDer), I had trouble doing literature review systematically. To combat this, I made a website that finds similar papers using the meaning of the thing I am looking for.

I used MixedBread's [^1] embedding model to generate vectors from the abstracts. I store and search similar vectors using Milvus [^2] and finally use Gradio [^3] to serve the frontend. I update the vector database weekly by pulling the metadata dataset from Kaggle [^4].

To speed up the search p

Article URL: https://docs.ruby-lang.org/en/master/NEWS_md.html

Comments URL: https://news.ycombinator.com/item?id=42507134

Points: 11

# Comments: 1

https://docs.ruby-lang.org/en/master/NEWS_md.html