iso8859-1

9 ms·

91.
by iso8859-1 3y ago
Arch Linux is linking dynamically, IIRC, and there it is 'only' 64 MiB: https://archlinux.org/packages/extra/x86_64/haskell-pandoc/
92.
by iso8859-1 3y ago
Snowden seems to have a much better life than he would in a federal prison, don't you think? Doesn't Putin have an incentive to show that he treats defectors well?
93.
by iso8859-1 3y ago
Previously: * Servo to Advance in 2023 (300 points), Jan 2023: https://news.ycombinator.com/item?id=34400214 * Servo, the parallel browser engine written in Rust (340 points), May 2023: https://news.ycombinator.c
94.
The Ribbon by Jensen Harris (2008) [video](youtube.com)
2 points by iso8859-1 3y ago|0 comments
95.
by iso8859-1 3y ago
Subscribed and the unsubscribed shortly after when they mistook Greenland for Iceland (42m55s), Italy for ??? (43m42s) and then Equatorial Guinea for Chad (44m55s).
96.
by iso8859-1 3y ago
Tenured professor tip: you don't need to convert to seconds, you can use: https://www.youtube.com/watch?v=-zRN7XLCRhc&t=38m35s
97.
Mid-Cabin Emergency Exit Doors – Plug Option [video](youtube.com)
2 points by iso8859-1 3y ago|0 comments
98.
by iso8859-1 3y ago
There are more details in https://youtu.be/giYbq4HmfGA
99.
Why would you still want to use strace in 2023? [video](media.ccc.de)
5 points by iso8859-1 3y ago|0 comments
100.
Adventures of Linux Userspace at Meta [video](media.ccc.de)
124 points by iso8859-1 3y ago|31 comments
101.
by iso8859-1 3y ago
> the stop "bar" on the way to the runway should have been flashing brightly They were out of service: https://www.reuters.com/world/asia-pacific/police-probe-poss...
102.
by iso8859-1 3y ago
So when you want to enable JavaScript, you have to click around in both uMatrix and NoScript?
103.
by iso8859-1 3y ago
It's not even clear if it will prevail in México: https://mobilityportal.lat/carga-nacs-estandarizacion-nortea...
104.
by iso8859-1 3y ago
Will Greenland use NACS? Probably not.
105.
by iso8859-1 3y ago
Don't use a big-tech solution. Podcasts were an open platform and you can keep it that way by using a open source application like AntennaPod.
106.
by iso8859-1 3y ago
I had imagined that the main cost would be certification. But maybe if the hardware is similar enough to an already certified veteran car , you could piggyback off of that. OTOH I've heard can't even swap out the engine of an old
107.
by iso8859-1 3y ago
Is it possible to make a fuel efficient open source car that is road legal? How much funding would it require?
108.
by iso8859-1 3y ago
the DMCA only applies to 4.23% of the world's population
109.
A slightly longer Lean 4 proof tour(terrytao.wordpress.com)
78 points by iso8859-1 3y ago|27 comments
110.
by iso8859-1 3y ago
Why are you reposting the sidebar contents? Can you vouch for it?
111.
by iso8859-1 3y ago
The interviewer is on HN: https://news.ycombinator.com/user?id=adamgordonbell My favorite episode is https://corecursive.com/remote-developer/
112.
by iso8859-1 3y ago
Seems like it doesn't happen that fast. audioop was deprecated in 2019, will be removed soon in 3.13: https://www.python.org/downloads/release/python-3130a2/
113.
by iso8859-1 3y ago
Why does Nepal not count as one?
114.
by iso8859-1 3y ago
No. It just hallucinated[0] about parallel evaluation while this talk doesn't mention parallel evaluation at all. So it has to be more than just the transcript. [0]: https://g.co/bard/share/9854794a5dc0
115.
by iso8859-1 3y ago
Even better, use Monrovia in the 70s. They had an offset of 44m30s.[0] >>> datetime(1972,1,1,tzinfo=ZoneInfo('Africa/Monrovia')).isoformat() '1972-01-01T00:00:00-00:44:30' [0]: https:/&#x
116.
by iso8859-1 3y ago
She said the Atomausstieg was a mistake: https://world-nuclear-news.org/Articles/Closing-nuclear-in-G...
117.
by iso8859-1 3y ago
I wonder if it is somehow possible to use an open source battery management system to build a car like this. See https://foxbms.org/
118.
by iso8859-1 3y ago
Similar points were raised on the Decouple podcast by James Krellenstein . https://www.decouplemedia.org/podcast/episode/3195740d/small...
119.
by iso8859-1 3y ago
How did you get started?
120.
by iso8859-1 3y ago
There's a list of packages here: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...

More ›