Hegel VS ExpansionCards

unfortunately, the project is on pause for the time being [1]

[1]: https://github.com/JSMonk/hegel/issues/355#issuecomment-1075...

Thank you. Just checked out the Bagel post (https://www.brandons.me/blog/the-bagel-language) and it looks really cool. Identifying pure functions (whether that is by syntax annotation or from synthesis) is a really good idea, gives me some ideas for doing function inlining in Ezno. I like the "Misc niceties" section, a few of those may of may not be on Ezno's todo list :)

The automatic / inferred generic restrictions is quite cool. https://hegel.js.org/ got there before me! Basic restriction modification is quite simple e.g. `(x) => Math.sin(x)`, x wants to be a number so can add that restriction. It gets more difficult with higher poly types. `(someObj) => Math.sin(someObj.prop1.prop2)` requires modifying not just `someObj` but a property on a property on it. And `(x, y) => printString(x + y)` requires doing even more complex things. But its definitely possible!

Can TypeScript be improved in this respect? Or, in broader terms, can a superset of JavaScript support a sound type system without becoming overly complicated?

An alternative to TypeScript can be Flow, a library maintained by Facebook. Flow, similarly to TypeScript, is not a sound type system. "Flow tries to be as sound and complete as possible. But because JavaScript was not designed around a type system, Flow sometimes has to make a tradeoff". Another alternative is Hegel, a type system that "attempts" to be sound. It is unclear to me if the attempt succeeded or not but it is worth checking.

Check out Hegel[0], it uses Flow syntax, it's compatible w/ .d.ts type definitions and has a smarter type inference model than both TS and Flow IMHO.

[0] https://hegel.js.org/

I think the SD module won't be able to have the card flush, as the modules are only and SD cards are 32mm long, and you need some PCB space for the socket cage and the USB-C on the other side. The retrofit PCB outline they provide is only 26.9mm from front edge to back edge, so an SD card will stick out a little bit.

So perhaps they decided to go for the one that lets users have the card flush for use like an expansion bay as well as for data transfer to/from devices.

https://github.com/FrameworkComputer/ExpansionCards/tree/mai...

There are many laptops and desktops that fit the bill.

Frame.work: https://frame.work/

Dell: https://www.dell.com/support/kbdoc/en-us/000138246/linux-on-...

System76: https://system76.com/laptops

Kubuntu Focus: https://kfocus.org/land/business

I am sure there are more, this is only what I have found in less than 5 minutes of searching.

I'll buy a frame.work long before I touch system76. Their prices are too high for the general feedback I keep seeing on the quality control. I'm not spending 3k+ to be out a laptop until support responds. Especially, considering they still don't make these in house..

No they didn't, companies just mostly gave up on it.

A Framework Laptop (https://frame.work)

You could get a Framework 13 which comes with your choice of a 7840U or 7640U and a Radeon 780M iGPU. They do officially support Linux, and you don't have to pay for a Windows license, if you go the DIY option and chose to not get a Windows license.

Take a look at the Framework laptops. They're 100% modular so if stuff like that goes bad you can simply order the replacement part and do it yourself. I'm using a desktop right now but Ithink my next laptop is gonna be a framework.

a couple of days ago I tried to order a Framework laptop (13 inch AMD). I chose to create an account during the checkout process and provided my email address. After entering my shipping details, I authorized the transfer of the deposit fee via Giropay. The deposit was deducted from my bank account but when I was sent back to the frame.work website I was greeted by an error message. Unfortunately I could neither complete the checkout process nor continue my account registration.