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

LeanQt – GUI is here, Widgets are near

github.com

Post reply on HN
Print view View original

51–55 of 55 posts

Re: LeanQt – GUI is here, Widgets are near

#51

Post by smackmybishop »

Rochus wrote: post #17
recuter wrote: post #3

With the new gui, image and thirdparty modules, the uncompressed size of the source tree has grown to ~43 MB (10 MB zip compressed), with close to 3000 C/C++ files and more than 700 kSLOC. LeanQt is designed to build only the modules you actually need. ..The resulting source tree has less than 800 files and requires only ~11 MB (2.6 MB zip compressed), and perfectly works as a substitute of the full source tree in th…

> 10kSLOC for the entire universe It is the nature of idealists that they see the world idealized. Smalltalk-80 itself has nearly 30 kSLOC (the low-level code for the VM adds another 5 to 10 kSLOC); it's just more difficult to count, but I wrote tools which can do it ( https://github.com/rochus-keller/Smalltalk/ ).

I suspect they're referring to VPRI's STEPS research, not Smalltalk. (And it was a target of 20k, not 10k.)

Re: LeanQt – GUI is here, Widgets are near

#52

Post by yarg »

Epa095 wrote: post #47
heavyset_go wrote: post #43

Earlier quoted context omitted.

That feels halting problem-esque.

It definitely is if you want a 100% correct and 100% certain answer. But if you accept 3 categories 1: this we know is used 2: this we know is not used, 3 this we don't know anything about, then it's doable.

Branches are a problem, depending on the number of parameters needed to be evaluated:

> Solving a constraint satisfaction problem on a finite domain is an NP-complete problem in general.

https://en.wikipedia.org/wiki/Complexity_of_constraint_satis...

Re: LeanQt – GUI is here, Widgets are near

#53

Post by joezydeco »

bachmeier wrote: post #5

Nice to see. I remember a while back trying to compile an open source app built with Qt. I gave up on it when I got to the part where I had to sacrifice a young male goat. Referring in particular to this: "Unfortunately, there has been a certain proliferation over the years where Qt has been bloated with all sorts of features with questionable value. The standard binary installation of Qt swallows several gigabytes a…

You should see the emails you get as a commercial customer. They're currently busy adding on advertising hooks and remote analytics.

Re: LeanQt – GUI is here, Widgets are near

#54

Post by Rochus »

amelius wrote: post #13
lioeters wrote: post #2

Looks useful! > LeanQt is a stripped-down Qt version which includes the essential features and is easy to build from source and to integrate with an application.

I wonder how long it takes to compile on an RPi. I tried it once with the full Qt build and gave up :) Of course, I should have cross-compiled but I guess I didn't want it enough.

I just tried on a Raspberry Pi Model 3B, BCM2835 ARMv7, 4 cores, Raspbian Linux 4.9.59-v7+ armv7l; "time ./lua build.lua ../LeanQt -P HAVE_GUI" reported 65 minutes (rounded).
Post reply on HN