Viewing profile — meling

There is Biscuit from OSDI 2018 https://pdos.csail.mit.edu/projects/biscuit.html

The 24% more PRs was merged, not «landed». Presumably after human code review (but I didn’t check the paper…) Not sure about this particular study, but I «think» my own productivit…

Does anyone know how this compares to Supacode ( https://supacode.sh )? I just started using Supacode a few days ago and have been enjoying it so far; it is based on libghostty.

I’m in academia and I try to convert everyone I know… I only recently started using it for a few things, and I used Claude to do some pretty advanced stuff that I wouldn’t have ven…

I’ve been using Typst lately and it has been great. I’ve made an exam template for my university and made an export feature so that I could generate the exam in the json format tha…

I’ve been using Typst lately and it has been great. I’ve made an exam template for my university and made an export feature so that I could generate the exam in the json format tha…

Sorry, I didn’t explicitly link to the issue for the portal layer. Here is the issue discussing the portal simd package: https://github.com/golang/go/issues/78902

Curious if people here have looked at the upcoming SIMD support in Go: https://go.dev/doc/go1.26#simd Currently experimental, but looks like the first Intel arch will arrive in the…

For the record, Go’s telemetry is local by default (not uploaded): https://go.dev/doc/telemetry

Call me when they have broken ECC with a real quantum computer.

What’s my remedy when Google’s product (Gemini 3.1 pro high) makes a “grave” mistake? This is unrelated to the bans that’s been happening recently, but wanted to share … This morni…

Jikes! How many ads can they squeeze in on news website… really distracting (I’m not using ad blocker).

What happens if the customer ask his credit card company to do a chargeback?

Love this story too as many others have said. Thanks for sharing this. Maybe someday I will do the same. Luckily our archive of tapes isn’t so large.

Great to see this. I played around with jj about two months ago and really enjoyed using it on the command line, but I found it difficult to understand the interaction with git and…

Who has 8 week vacations, let alone 12? No European country I’m aware of, but I didn’t check all…

Sorry, I wasn’t precise enough. I’m at a university and our IP addresses are publicly routable, I think.

If I can use my DHCP assigned IP, will this allow me to drop having to use self-signed certificates for localhost development?

Wish more pages were as fast as this, despite this site’s simplicity… In particular GitHub could really benefit from less bloat and faster rendering.

It has been used for a while in the Secure Enclave operating system: https://en.wikipedia.org/wiki/L4_microkernel_family#:~:text=... But to my knowledge, not for the more general u…

Are there new physics on the horizon that could pave the way for new memory technologies?

Ha, that’s funny! I got my PhD from NTNU, but never actually noticed that in English it becomes NUTS… NTNU is a Norwegian acronym for Norges teknisk-naturvitenskapelige universitet…