sse (u/sse) - Readit News

sse commented on Beagle, a source code management system that stores AST trees github.com/gritzko/librdx... · Posted by u/strogonoff

a-dub · 8 days ago

mmm. interesting and fun concept, but it seems to me like the text is actually the right layer for storing and expressing changes since that is what gets read, changed and reasoned about. why does it make more sense to use asts here?

are these asts fully normalized or do (x) and ((x)) produce different trees, yet still express the same thing?

why change what is being stored and tracked when the language aware metadata for each change can be generated after the fact (or alongside the changes)? (adding transform layers between what appears and what gets stored/tracked seems like it could get confusing?)

sse · 8 days ago

Having a VCS that stores changes as refactorings combined with an editor that reports the refactorings directly to the VCS, without plain text files as intermediate format, would avoid losing information on the way.

The downside is tight coupling between VCS and editor. It will be difficult to convince developers to use anything else than their favourite editor when they want to use your VCS.

I wonder if you can solve it the language-server way, so that each editor that supports refactoring through language-server would support the VCS.

sse commented on Show HN: A difficult game to test your logic rvlabs.ca/jumping-frogs... · Posted by u/CodeCrusader

Y_Y · a year ago

Fun, but only lasts about two minutes. Could be interesting in 2d or with some other gimmicks added.

sse · a year ago

In 2D, it would become sokoban, wouldn't it?

sse commented on Parsing: The Solved Problem That Isn't (2011) tratt.net/laurie/blog/201... · Posted by u/contr-error

temp123789246 · 2 years ago

Have there been any notable innovations in parsing since this was written?

sse · 2 years ago

The one I'm most excited about is improved error recovery:

https://soft-dev.org/pubs/html/diekmann_tratt__dont_panic/

https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-eco...

sse commented on Building a safer FIDO2 key with privilege separation and WebAssembly benkettle.xyz/posts/plat/... · Posted by u/bkettle

sse · 3 years ago

The USB driver itself can not access arbitrary memory. But it may be able to program the DMA controller of the USB peripheral to access arbitrary memory. So the WebAssembly sandboxing of a driver alone is not enough. You still need some hardware mechanism like an SMMU. Or a trusted module that abstracts the DMA controller.

sse commented on Dawn (Part 1) dawn-lang.org/posts/intro... · Posted by u/todsacerdoti

sse · 5 years ago

"performance and control of C" also means that you can make datastructures with arbitrary pointers, right? The simplest example that doesn't work in rust is a linked list.

How can you do that when you only have multiple stacks, but no heap?