mighmi

5 ms·

1.
by mighmi 7mo ago
> evil They never removed "don't be evil", they just changed where it is in the document.
2.
by mighmi 11mo ago
It's a real cool idea to compile everything down to lambda calculus and then you solve all semantics issues. (If something fits) you can convert 1:1, use general libraries in one language in others without loss etc. Ah, what a beautifu
3.
by mighmi 11mo ago
LOC is an important metric for cost. There's a certain budget of what a person or team can understand/manage.
4.
by mighmi 11mo ago
To what extent is this practice applicable to other loads?
5.
by mighmi 1y ago
> CUE spec Have you heard of Ada, whose type system does the same thing?
6.
by mighmi 1y ago
Taking comments via a (n email) form, which you then manually add under the article's html/markdown is nice.
7.
by mighmi 1y ago
The etymology is: > A deliberate misspelling of lead, originally used in instructions given to printers to indicate which paragraphs constitute the lede, intended to avoid confusion with the word lead which may actually appear in the tex
8.
by mighmi 1y ago
Sweden did not have a mask mandate and did very well.
9.
by mighmi 1y ago
Julia may be cool, but it's not an array language in the tradition of APL.
10.
by mighmi 1y ago
Because it's in the middle of the night.
11.
by mighmi 1y ago
Perhaps paradise. The browser as a lisp machine, ah... Dreams. The spritely team is making strides to using Guile in WASM, but it's nothing like s expr instead of JSON etc. could have been. https://files.spritely.institute&#
12.
by mighmi 1y ago
GUIX is a pleasure
13.
by mighmi 1y ago
This is cool. I think I'll try to learn it!
14.
by mighmi 1y ago
I guess the ussr originally were vibrant and full of innovation but especially the 30s purges killed it off.
15.
by mighmi 2y ago
Without detracting from her humor, Thomas Edison and other before him e.g. wrote about bugs in the 19th century: https://en.wikipedia.org/wiki/Bug_(engineering)#History
16.
by mighmi 2y ago
Wait, dissemblers will turn assembly into any language you want?
17.
Learning APL(xpqz.github.io)
3 points by mighmi 2y ago|0 comments
18.
Reduce Allocations and Comparison performance in Go 1.23(josephwoodward.co.uk)
3 points by mighmi 2y ago|0 comments
19.
by mighmi 2y ago
> wrinkles They go the other way. The US surpassed the UK in per capita income in the 1880s. However, American yeomen farmers, factory workers etc. were far better off than (non-UK) Europeans even in 1800, hence millions of Europeans imm
20.
APL Since 1978 [pdf] (2020)(dl.acm.org)
4 points by mighmi 2y ago|0 comments
21.
by mighmi 2y ago
> there's a circularity in the K&R book that makes it confusing if you read it all the way through What do you mean?
22.
by mighmi 2y ago
Where can I read about your project or hear your tangent?
23.
Why all([]) is true, prod([]) is 1 etc.(buttondown.email)
1 points by mighmi 3y ago|0 comments
24.
by mighmi 3y ago
Thank you! Do you have visibility into the certifications or business structure here? Like how does a company enter this space with random subpar software? Do the certifications automatically preclude open source software at the moment?
25.
by mighmi 3y ago
The introduction is really well done. It's not all bells and whistles like roc, but goes through everything cleanly and succinctly. Things I found interesting - indent with 8 space tabs - ! error assertion operator and error matching -
26.
by mighmi 3y ago
The Thompson attack's where code is able to secretly modify/exploit the compiler to propagate through future compiled programs or itself when compiled. Preventing the execution of foreign code thus reduces the attack surface even
27.
by mighmi 3y ago
> Both products, both vendors, are absolute garbage. Could you concretely explain how? I've never worked in this field and have just seen the typical rhetoric, which makes sense to me (e.g. when considering Ada's safety's
28.
by mighmi 3y ago
Don't be confused. He just needs a better copywriter. Realize that in aerospace etc. this is possible where 9-12 9s of reliability are the common minimum accepted. Communicating this to a field which strives towards 5 9s and is used to
29.
by mighmi 3y ago
Could you tell us more about the system, project etc.? And how does one enter such a subfield?
30.
by mighmi 3y ago
The most interesting part from the discussion was noting it's implemented in the most basic, easily avoidable way (just spoof chrome) implying engineers unhappy with these tasks. @dang or op, wrong link. Should be: https://o

More ›