Readit News logoReadit News
mlinksva commented on The WebRacket language is a subset of Racket that compiles to WebAssembly   github.com/soegaard/webra... · Posted by u/mfru
d_philla · 21 days ago
check out grain! https://grain-lang.org/
mlinksva · 21 days ago
I don't know that there are any similaries besides the names -- well maybe something thematic about distributing the future or what looked like it at the time to more programmers -- but the handful of times I've run across Grain (probably all on HN) I'm reminded of Wheat https://web.archive.org/web/20050215032130/http://wheatfarm....
mlinksva commented on TimeCapsuleLLM: LLM trained only on data from 1800-1875   github.com/haykgrigo3/Tim... · Posted by u/admp
metalliqaz · a month ago
Yann LeCun spoke explicitly on this idea recently and he asserts definitively that the LLM would not be able to add anything useful in that scenario. My understanding is that other AI researchers generally agree with him, and that it's mostly the hype beasts like Altman that think there is some "magic" in the weights that is actually intelligent. Their payday depends on it, so it is understandable. My opinion is that LeCun is probably correct.
mlinksva · a month ago
Do you have a pointer to where LeCun spoke about it? I noticed last October that Dwarkesh mentioned the idea off handedly on his podcast (prompting me to write up https://manifold.markets/MikeLinksvayer/llm-trained-on-data-...) but I wonder if this idea has been around for much longer, or is just so obvious that lots of people are independently coming up with it (parent to this comment being yet another)?
mlinksva commented on Coarse is better   borretti.me/article/coars... · Posted by u/_dain_
mlinksva · 2 months ago
Good title!
mlinksva commented on History LLMs: Models trained exclusively on pre-1913 texts   github.com/DGoettlich/his... · Posted by u/iamwil
anotherpaulg · 2 months ago
It would be interesting to see how hard it would be to walk these models towards general relativity and quantum mechanics.

Einstein’s paper “On the Electrodynamics of Moving Bodies” with special relativity was published in 1905. His work on general relativity was published 10 years later in 1915. The earliest knowledge cuttoff of these models is 1913, in between the relativity papers.

The knowledge cutoffs are also right in the middle of the early days of quantum mechanics, as various idiosyncratic experimental results were being rolled up into a coherent theory.

mlinksva commented on The patent office is about to make bad patents untouchable   eff.org/deeplinks/2025/11... · Posted by u/iamnothere
anon3654648 · 3 months ago
Could someone make an LLM that is only trained up to the day before a patent was filed, then ask it to solve the problem at hand.

Hopefully it would come up with the patented idea and thus 'prove' it is obvious and thus not able to be patented. Then you could make different vintage LLMs and basically spam them at trolls to invalidate the patents.

...just a thought from a lurker

mlinksva · 2 months ago
I've had approximately the same thought, to different but complementary ends "More generally (not covered in this question) perhaps this could also be a fun way to interrogate the tech tree, e.g., what could have been discovered given the data at a given cutoff, how early or late certain advancements came, etc." https://manifold.markets/MikeLinksvayer/llm-trained-on-data-...

Would love to see it!

mlinksva commented on Developers still need the right to challenge junk patents   github.blog/news-insights... · Posted by u/quapster
mlinksva · 3 months ago
Lots of discussion on the EFF's post on this same topic last week https://news.ycombinator.com/item?id=45985890

I expect a deluge of critical comments near the Dec 2 deadline. Add yours! :)

mlinksva commented on The Lions Operating System   lionsos.org... · Posted by u/plunderer
cjs_ac · 3 months ago
Presumably named after Associate Professor John Lions[0], of A Commentary on the UNIX Operating System[1] fame.

[0] https://en.wikipedia.org/wiki/John_Lions

[1] https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Opera...

mlinksva commented on US declines to join more than 70 countries in signing UN cybercrime treaty   therecord.media/us-declin... · Posted by u/pcaharrier
mlinksva · 3 months ago
It's a very good thing the US has declined to sign this. The digital rights community has been campaigning against it since its proposal by Russia in 2017. The US not signing it is a small victory across a very large loss. Many explainers like https://www.eff.org/deeplinks/2025/10/joint-statement-un-cyb...
mlinksva commented on Two Paths to Memory Safety: CHERI and OMA   ednutting.com/2025/10/05/... · Posted by u/yvdriess
EdNutting · 4 months ago
I haven't come across this specific feature before. From reading about it, it seems closely related to Arm (E)MTE ISA extensions - Memory Tagging Extension?

What's interesting is that approach (software-defined 'random' numbers to associate memory regions and valid pointers) provides only probabilistic memory safety. A malicious actor may find a way to spoof/guess the tag needed to access a particular piece of memory. Given Arm MTE has been breached in the last year, it's hard to argue that it's a good enough security guarantee. EMTE may fix issues (e.g. side-channels) but leaves open the probabilistic pathway (i.e. "guess the tag") which is a hole MTE isn't designed to try to close (so, a software breach on top of a chip with EMTE can't necessarily be argued to be a violation of the hardware's security properties, though it may exploit the architectural security hole).

In contrast, CHERI and OMA (Object Memory Architecture) are both providing hardware-enforced guarantees of memory safety properties - unbreakable even if the attacker has perfect knowledge - backed up by formal proofs of these claims.

CHERI offers referential and spatial safety as hardware guarantees, with temporal being achievable in software. OMA offers referential, spatial and temporal safety as hardware guarantees.

mlinksva · 4 months ago
There doesn't seem to be much info about OMA available online. Your thesis linked from https://www.bristol.ac.uk/research/groups/trustworthy-system... which is linked from your home page/timeline is a broken link. Perhaps https://dl.acm.org/doi/fullHtml/10.1145/3450147 is the best in depth info available currently? Looking forward to future developments and success!
mlinksva commented on Redox OS Development Priorities for 2025/26   redox-os.org/news/develop... · Posted by u/akyuu
mlinksva · 5 months ago
Great to see in the priorities "sandboxing by default" (under desktop variety) and https://nlnet.nl/project/Capability-based-RedoxOS/ (under security).

u/mlinksva

KarmaCake day2312February 16, 2010
About
meet.hn/city/us-San-Francisco

Socials: - github.com/mlinksva - linkedin.com/in/mlinksva - x.com/mlinksva - mastodon.social/@mlinksva

---

parasite→scavenger→compost; comments/submissions are calls for refutation

View Original