HackerTrans
TopNewTrendsCommentsPastAskShowJobs

sbt567

no profile record

Submissions

Spread: A simple, fast spreadsheet viewer written in Rust using GPUI

github.com
3 points·by sbt567·2 mesi fa·0 comments

Mojo 1.0 Beta

mojolang.org
375 points·by sbt567·2 mesi fa·246 comments

Rust's Standard Library on the GPU

vectorware.com
18 points·by sbt567·6 mesi fa·2 comments

Tonari: Infinite Dynamic Space

tonari.no
2 points·by sbt567·6 mesi fa·0 comments

Veritasium: The Ridiculous Engineering of ASML Machine [video]

youtube.com
27 points·by sbt567·6 mesi fa·7 comments

Xmas.js: A lightweight, high-performance TS/JS engine

github.com
1 points·by sbt567·7 mesi fa·0 comments

Sprout: UEFI bootloader that can reduce bootloader times to milliseconds

github.com
3 points·by sbt567·8 mesi fa·0 comments

Install Nothing

github.com
7 points·by sbt567·8 mesi fa·2 comments

Datavzrd: A browser-based reporting tool for tabular datasets

datavzrd.github.io
3 points·by sbt567·10 mesi fa·0 comments

TLQ: A minimal message queue that just works

tinylittlequeue.app
2 points·by sbt567·10 mesi fa·0 comments

NixOS and Flakes Book

nixos-and-flakes.thiscute.world
3 points·by sbt567·12 mesi fa·0 comments

Tessera: A declarative, immediate-mode UI framework for Rust

github.com
6 points·by sbt567·12 mesi fa·0 comments

Tangram: Fast and reliable build system and package manager

tangram.dev
2 points·by sbt567·12 mesi fa·0 comments

Brioche: A delicious package manager for building and running your software

brioche.dev
4 points·by sbt567·12 mesi fa·0 comments

comments

sbt567
·2 mesi fa·discuss
I've been recently trying to port my simple program to Mojo to find out how the language looks like and feel. And the comptime feature (which inspired by Zig I think) is absolute joy to use. It helps a lot that the syntax looks like Python also. Excited to see how the language will become in the future particularly for its memory safety paradigm.
sbt567
·3 mesi fa·discuss
Oh, that is absolutely how all of mobile game ads now are designed. It will deliberately fail a very simple task to poke our desires of "Huh, I can do better than that"
sbt567
·5 mesi fa·discuss
Neat! Anything like this but for MS Word?
sbt567
·5 mesi fa·discuss
One day I'm trying a modified Windows (bloat stripped) from team-os. And the difference is night and day. My old laptop finally can run Windows 10!

I wonder though if there are more open and trusted modified Windows being developed out there because trying random modified Windows in team-os is not getting me some confidence
sbt567
·5 mesi fa·discuss
After watching the dubai lamp videos on YouTube, I wonder how many hours this lamp will last
sbt567
·6 mesi fa·discuss
His videos are gold! I'm really impressed
sbt567
·6 mesi fa·discuss
Recently I've found Cromite and sure glad I did! Finally I've found my Kiwi browser replacement. It is also feels faster than both Firefox and Brave on Android (though YMMV).
sbt567
·9 mesi fa·discuss
Many people use PyO3 for that
sbt567
·11 mesi fa·discuss
I vaguely remember that there is a new language that promises "Safety across FFI boundary", but can't recall the name
sbt567
·11 mesi fa·discuss
I'm just starting my second attempt at using NixOS last week because suddenly, my SSD failed and I have limited amount of time to configure my second laptop to get to work. This time I don't think that installing Arch will be the best choice to get to the last state of my laptop as fast as possible (I'm using dotfiles management, but not all things can be automated). And I'm ready to try NixOS again.

The only thing that makes me confident this time, is that I can use LLM to help me. There is absolutely no way I could try Nix again without using LLM. The first attempt at using it just makes me anxious because of docs alone.

And what makes me stick using it? Nix-ld. I think embracing impureness and doing things incrementally will help alleviate the vertical learning curve that is Nix.

After all of this learning curve? I finally can see the rainbow that I can only dreamed of in the past.
sbt567
·2 anni fa·discuss
After forcing myself to learn and adapt to some note-taking system, I too didn't find it useful for me yet. But i keep pushing myself through because I still believe that there must be some value that I could take from taking notes. Just I didn't find a system that suits me well...? One thing that i find the real benefit/value from all this learn and adapt is "writing as a way to think" (is it by feynmann?). When doing complicated work, writing really help to ease your cognitive load and help you find the gaps in your line of thought. But, I couldn't find a suitable method when dealing with general/every day note-taking. I still have that "graveyard for thought" problem when writing general notes
sbt567
·3 anni fa·discuss
Maybe it is the offline support for the web app