Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Litex: The First Formal Language Learnable in 1-2 Hours

github.com

Post reply on HN
Print view View original

81–86 of 86 posts

Re: Litex: The First Formal Language Learnable in 1-2 Hours

#81

Post by litexlang »

auggierose wrote: post #62

Quite flawed, but inspired. This stuff popping up is interesting. I guess it is due to Lean reaching people that would not be aware of formal reasoning on a computer before.

Thank you auggierose. Your comment is by far the best description of the stage of Litex is now: very flawed, but very different from other formal languages. I guess it is because Litex is closer to reasoning (or math in general) rather than to programming.

Re: Litex: The First Formal Language Learnable in 1-2 Hours

#82

Post by FrustratedMonky »

majorchord wrote: post #79
almostgotcaught wrote: post #77

Earlier quoted context omitted.

It's a low brow dismissal of someone's work? How else should I react?

this might shed some light on what's wrong: https://0x0.st/KB-b.txt

where can i generate that analysis?

Re: Litex: The First Formal Language Learnable in 1-2 Hours

#83

Post by majorchord »

FrustratedMonky wrote: post #82
majorchord wrote: post #79

Earlier quoted context omitted.

this might shed some light on what's wrong: https://0x0.st/KB-b.txt

where can i generate that analysis?

https://old.reddit.com/r/ChatGPT/comments/1j75fk2/what_are_s...

Re: Litex: The First Formal Language Learnable in 1-2 Hours

#85

Post by exe34 »

card_zero wrote: post #32
exe34 wrote: post #30

Earlier quoted context omitted.

It's almost as if thinking carefully about words leads to the realisation that words are approximations that are meant to describe, not prescribe.

If "intelligence" describes LLMs then it isn't doing a very good job.

try the bottom half of the population!

Re: Litex: The First Formal Language Learnable in 1-2 Hours

#86

Post by jibal »

almostgotcaught wrote: post #77
tverbeure wrote: post #75

Earlier quoted context omitted.

That’s a lot of words and anger for such a small thing.

It's a low brow dismissal of someone's work? How else should I react?

Uh, reasonably? It was simply a point of information, not a dismissal and certainly not a "low brow" one.
Post reply on HN