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 productivity (coding wise) has improved by more than 30%. In many ways I wouldn’t even have started on many of the things I’ve completed these last six months because I would have viewed their effort to be insurmountable within my time budget as a professor (with all my other duties).

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 ventured to even try with latex. That is, I think a lot of the relevant CTAN packages can be developed using LLMs more quickly than you might expect.

For next year, I plan to prepare a thesis template for our university and encourage students to try it instead of latex (most of our students use latex now).

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 that our online exam system (WISEflow) expects, with support for multiple choice and essay style questions.

It is so snappy and with great error messages. I encourage people to try it out. The typst tutorial is very approachable. Thanks to the Typst devs for this great piece of software.

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 that our online exam system (WISEflow) expects, with support for multiple choice and essay style questions.

It is so snappy and with great error messages. I encourage people to try it out. The typst tutorial is very approachable.

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 next release in about 3 months. They are also going to support a portable layer.

Wondering what people here think about the approach the Go team is taking; I think they would appreciate more eyeballs on their design. (I’m not competent in this space (yet))…

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 morning I asked Gemini to “save” its output to a local file. However it did more than that … it committed the file (along with several unrelated staged changes that was not ready to be committed) and even pushed the changes to GitHub. I’ve never asked any model to commit, let alone push… I’m not impressed; actually a bit disappointed that it would do this without any warning up front. This happened in Antigravity.

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 GitHub and decided to put it off until I had more time. (I don’t recall the specific issues I had…) Maybe this extension can remove some of that friction.

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 user facing OSes.

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.

Interesting! I grew up before network cards was a thing in home computers (Commodore 64 and Amiga), but a group of my friends organized what we called «meetings» which I would characterize as your traditional LAN party. I remember at some point that we hooked up two Amigas over a fairly long parallel cable and were able to send data across. Cannot recall if we actually were able to copy larger files between them though. Fun times!

On iPad as well.

Thanks! That’s an interesting approach. Haven’t seen that before. I think a better approach (in a monorepo) might be to use separate go.mod files for each module, allowing the user to configure only the needed parts separately. But I haven’t seen it used much.

Yeah, while I’ve seen some great libraries that follow the practice of minimizing their dependencies, I’m a bit annoyed with the amount of dependencies that docker will bring along [1]. I’ve been on the lookout for alternatives for my docker needs, but the state of podman, buildah and some others that I checked is similar. They all bring in roughly the same number of dependencies… if anyone knows of a stripped down Go lib that can be used to build from a Dockerfile, pull, and run a container, I would be grateful for any suggestions. Heck docker / moby isn’t even using go.mod proper.

[1] https://github.com/moby/moby/blob/master/vendor.mod

Just watched this… Thanks for posting. It is very nicely presented and intuitive as usual from 3blue1brown. Can definitely recommend this if you want to get a bit deeper understanding of quantum computing than the usual surface level nonsense that I usually come across.

See the related work section in the SOSP 2024 paper. I think verification speed is one of the main benefits of verus.

https://www.andrew.cmu.edu/user/bparno/papers/verus-sys.pdf

I think the Chord DHT uses this.

https://en.wikipedia.org/wiki/Chord_(peer-to-peer)

I read it about two years ago, and would definitely recommend it. It has a similar vibe to Josh Bloch’s Effective Java.