ubj

6 ms·

1.
Introducing CUDA Rust: Two Tracks for Writing GPU Kernels(developer.nvidia.com)
12 points by ubj 8d ago|0 comments
2.
by ubj 2mo ago
> and/or have infants ricocheting around your home like screaming DVD logos Slightly off topic, but as a parent I found this hilarious and will now be closely watching to see if any of my own screaming logos ever perfectly hit the c
3.
by ubj 4mo ago
I've said this before, but it's interesting to see momentum go back and forth between the flexibility and ease of everyday language, and the formal rigor of programming languages. It feels like we are still discovering the optimal
4.
by ubj 6mo ago
There was an interesting article in the Atlantic recently where a journalist spent a year participating in sports gambling. Part of the article discusses the effect it had on his psychology towards participants he had put his money on. htt
5.
by ubj 8mo ago
The author of the Airfoil article has made several similar tutorials on various topics: https://ciechanow.ski/archives/ For machine learning, Distill.pub has some excellent hands-on tutorials. For example, here's
6.
Rust at Scale: An Added Layer of Security for WhatsApp(engineering.fb.com)
266 points by ubj 8mo ago|144 comments
7.
by ubj 9mo ago
Octave has not implemented all of Matlab's functionality. You can see a list of Matlab functions that have not yet been implemented in Octave at the link below. It's a long list. https://hg.savannah.gnu.org/hgweb&#
8.
by ubj 9mo ago
Matlab is an great tool, if you can afford it. It was a very unpleasant feeling when I graduated from my PhD and realized that most, if not all, of the Matlab scripts I had used for my research would now be useless to me unless I joined a c
9.
by ubj 10mo ago
This is apparently such a common misunderstanding that it was put at the bottom of the C++ iceberg: https://victorpoughon.github.io/cppiceberg/
10.
by ubj 10mo ago
One of my students recently came to me with an interesting dilemma. His sister had written (without AI tools) an essay for another class, and her teacher told her that an "AI detection tool" had classified it as having been writte
11.
by ubj 11mo ago
Buzz Aldrin (who was the second person to walk on the moon) wrote his MIT thesis on methods for astronauts to handle the complexities of orbital dynamics when performing rendezvous maneuvers in orbit: https://dspace.mit.edu/
12.
by ubj 11mo ago
Very curious to see what usage limits are like for paid plans. Anthropic was already experiencing issues with high-volume model usage for Pro and Max users. I hope their infrastructure is able to adequately support running these additional
13.
JuliaC: Package for compiling and bundling Julia binaries(github.com)
2 points by ubj 11mo ago|0 comments
14.
by ubj 11mo ago
Platinum Medal: Complete a gold medal task in the presence of multiple children between the ages of 3 and 8. The children must remain safe throughout (and after) the entire process.
15.
by ubj 1y ago
Science involves both deductive and inductive reasoning. I would in turn argue that mathematics is a science that focuses heavily (but not entirely) on deductive reasoning.
16.
by ubj 1y ago
> Anyone knows what Mojo is doing that Julia cannot do? First-class support for AoT compilation. https://docs.modular.com/mojo/cli/build Yes, Julia has a few options for making executables but they feel like an
17.
Totally Safe: Memory Vulnerabilities in Safe Rust(github.com)
4 points by ubj 1y ago|0 comments
18.
by ubj 1y ago
[EDIT]: I was wrong, uBlock Origin Lite was addressed by the article and does not have the same features.
19.
by ubj 1y ago
I use Claude Max with it. Haven't personally tried the API yet.
20.
by ubj 1y ago
I use DevPod [1] to run Claude Code within Docker-based dev container environments, and it's been fairly seamless. It lets me run environments locally and focus Claude's context on just the repo I want it to work on. [1]: https:&
21.
FOKS: Federated Open Key Service(foks.pub)
301 points by ubj 1y ago|71 comments
22.
Dev jobs are about to get a hard reset and nobody's ready(old.reddit.com)
49 points by ubj 1y ago|88 comments
23.
by ubj 1y ago
Where is Claude Code? Surprised to see it completely left out of this analysis.
24.
by ubj 1y ago
This looks nice. I wasn't aware of Acorn--how much adoption does it have in the mathematics community (or formal methods / robotics / other communities)? I feel like most are rallying around Lean.
25.
by ubj 1y ago
To me, the most exciting aspect of teaching mathematics using Lean is the immediate feedback. If a student's proof is wrong, it simply won't compile. Previously, the only feedback students could receive would be from another human
26.
by ubj 1y ago
Beautiful photos! I'd love to see a concert hall designed to look like something from this gallery.
27.
by ubj 1y ago
Love this idea, although I wonder if this can also be done with QMK keyboards. I'll have to try setting up similar macros in my Ergodox EZ.
28.
by ubj 1y ago
Interesting tips, but it also depends on the field. If you're submitting to a control theory journal, you better have some novel theorems with rigorous mathematical proofs in that "rest of the paper" part. That's a littl
29.
by ubj 1y ago
> Because we always get back the same amount of numbers no matter how big or small the input text, we now have a way to mathematically compare any two pieces of arbitrary text to each other. I think there needs to be some more clarificat
30.
Julia Language Now Available on Google Colab(github.com)
1 points by ubj 2y ago|0 comments

More ›