skysight-inc/HackerNews huggingface dataset:
Yours isn't accurate it should be something like be Berlin, Friedman.
1. Program = Proof by Samuel Mimram

Math foundation of programming. Church–Rosser theorem, Curry–Howard correspondence, intuitionistic logic, theorem proving with dependent types, etc.

2. Rust Atomics and Locks: Low-Level Concurrency in Practice by Mara Bos

Great introduction even for non-Rust programmers.

3. Statistical Consequences of Fat Tails by N. Taleb et al.

I've just started to read it, but looks promising (lot of mathematical statistics).
Same here, but kitty is inferior in some respects. I still don't know how to this [0] in kitty...

[0] https://mbork.pl/2022-01-10_Simple_tmux_scripting_revisited
I was thinking about that, but I haven't had time to really dig into it. My gut feeling is that it won't be sufficient, but it might be a bad hunch.
Jack Ma disappeared because he openly criticized the government.

The "leisure class" (of which many party members are part of) operate with impunity as long as they stay in the good graces of the party leadership.

You will only hear what the CCP wants you to hear. The rest of the "leisure class" flies under the radar.
Those aren't arguments against visual programming languages in general.
Anyone will run LLMs locally soon on about every piece of hardware. If it’s part of the system like the network stack / firmware, now does your mental framework work.

Progress is murdering their business model. They are trying to stop it; which makes sense, but let’s not pretend the trajectory here isn’t to ubiquitous LLMs everywhere within 3 years. We have to plan for that, assess the benefit for society from that.
passing a law and enforcing it are entirely different matters. I don't think a law like this can feasibly be enforced. Especially when "open source" is not limited to a singe country.

And I don't think the US is extraditing anyone from Firefox over such a law.
Also coming from Rubh (still using it occasionally). Dart extensions is what I enjoy the most atm!
Any non-toy WASM application running in browsers will almost certainly end up as a hybrid WASM/JS application, just because you can't call directly from WASM into browser APIs, and even if the JS shim is "hidden from view", sometimes it's either more convenient or even more performant to write more than just a thin API shim in Javascript, especially for asynchronous code or to avoid redundant copying of large data blobs in and out of the WASM heap.
Isn't processed food associated with lower income?
Ok might not be zero, but I suspect getting visa wasn’t what was keeping them in the USA. It was rather trivial to get a Canadian residence permit. Still, they did worse than the US at attracting talent and there’s a reason for that.
On european airlines, luggage rarely overflows the overhead bins because you have to pay to use the overhead bins (often nearly the same as the cost of your seat on short cheap flights). The only storage you can use for free is the space under the seat.

That really changes the dynamics.
Can Europe make its space launch industry competitive?
They already bought SUSE years ago though and their previous owners weren't much better (or possibly objectively worse..)
Yes exactly. You approximate the full algorithm while not paying the overhead.
Because carriers and hardware vendors don't want to play ball. Some carriers consider the user's modem as part of their network and want to control it, hardware vendors want to keep their precious firmware blobs and private APIs to themselves.

Linux has all the drivers and infrastructure in place to use cell networks efficiently, carriers and vendors just don't want to be part of that.

Source: my only Internet access at home comes from a LTE router running Debian I built myself.
Yes, the famous Asian Vietnamese ally, the Soviet Union.
I find representations of text in AI generated images equal parts fascinating and incredibly fucking creepy. It must be some sort of uncanny valley effect that it has on me.
Land price keeps increasing caused this problem. You can just imagine land price to increase 50% YoY (hypothetical number) and you will understand the situation.

Basically you can not have enough cash on hand to purchase the next piece of land for your development, but you want to always plan for the next step.
London really grew in the Victorian era. E.g. http://www.demographia.com/dm-lon31.htm

Reading Dickens is one way to get a feel for this. Many locations in his books are not yet part of the London conurbation. IIRC, one book has a character walking over fields to get to Hammersmith, for example.

Going back further there is https://en.wikipedia.org/wiki/St_Martin-in-the-Fields
I think it's pretty clear by this point that it's like an extreme slow motion train crash.

In a free economy China would probably have had a proper crash and perhaps even a rebound by now. But China is doing everything that can to prevent a crash that can be blamed on the government, but the problems are so fundamental that they're just postponing a full crash - one that will probably end up being much worse - instead of fixing the root problems.

A decade ago you could say that the people predicting China's economic crash didn't have anything concrete to support their arguments. Things seemed to be going well. Now there's many real tangible signs of deep economic problems. Youth unemployment, buildings not being finished, banks failing, .. It's probably even more telling that China's government is stopping reporting of relevant data. Not that they were super reliable to begin with.

China probably won't crash in the way USA's economy crash. But that's kind of the problem. A crash is essentially a rapid correction of the economy. China won't allow that. Which puts them on the path of serious long term stagnation.
Yea, I see Dart as mostly useful for developing frontends.
This is like the definition of a dystopia. Some obscure "public" needs, being put before someone personal individual needs, enforced by a random computer.
A friend of mine recently (2019 or '20) bought a laptop, new, with a 768p LCD display. It's ridiculous. In 2014 you could get a phone with a 1080p display, and it was 5" so it had a high pixel density too! Why does it feel like consumer electronics are going backwards?
Actually it's the US government that made a killing with TARP loans and acquisitions.

Bankers lost their shirts in the whole thing - having to pay interest on those TARP loans or had to sell their shares to the government to get capital to survive.
I lived in Canary Wharf ~2011-2012, on the 42nd floor and with a stunning view west over the city. The shard was being built at the time and I've got plenty of photos of dramatic sunsets, rays streaming through the glass and trusses. As much as I loathed living in London, I quite enjoyed the view.
I want to let you know that I agree with you 100% and face the same issues. It is baffling to me how this has not been solved by now, especially with Python's dominance in computer vision and machine learning.
We evolved to thrive on a varied diet and we do best when we have access to many different sources of nutrition from plants to animals. Trying to simplify things for the sake of some worldview or another will damage your health.
You falsly assume that the intent of people building that device was to make it efficient - it wasn't. They wanted to make sure the fuel, heated up to the right temperature, will yield energy gain and that happened.

You can think of a this as test flight with a plane model vs. building the actual plane. We needed to test the aerodynamics and see if this flies at all, it worked, and now it's the time to build the actual plane. Someone has to do that test at some point. Would make no sense to build a plane without knowing if it's going to work.
Yeah, "micro" for an editor would be 11 kilo bytes. I bet it's possible to do a half-decent editor in C in 11KB. Antirez's "kilo" (~1000 lines of C) is 36KB when compiled with standard gcc (https://github.com/antirez/kilo).

That said, for many server-type use cases these days, 11MB isn't a huge deal. Still, I wonder if micro could be compiled on / ported to TinyGo and end up a few hundred KB? It looks like TinyGo can produce some pretty small binaries: https://tinygo.org/docs/guides/optimizing-binaries/
I suspect it is marketing speak that has been translated to english by a non-technical translator.
Haken Continuum, perhaps?

The same Eaganmatrix engine used in the Continuum has also shown up in the Expressive E Osmose, so apparently Haken is willing to work with other companies to integrate their synth in more products -- and the result is quite an amazing device. Haken also makes a standalone Eurorack module.

I'm not sure if there's a good open-source MPE synth that's easy to port to microcontrollers. Surge is really impressive but it's not made to run on simple embedded platforms.
I think it should be pretty obvious that for instance retry logic should be near the place in the code where the first attempt is made. The best case for gathering all errors in a 'railway' is when they can be handled uniformly. E.g., if we want to not retry things but instead report a descriptive error message to the user. Note that also that most error handling logic that should be near the calling place might also fail in more global ways that are then best handled using the railway/exception pattern.
Indeed, that is the problem. If he drove this route once or twice a week it would probably be fine. Every day, perhaps not? Then again, he argued he sleeps much better at home...

And yeah, adding flexibility is very difficult, simple rules are better as such.

And of course, if they add an exception for drivers to get home, I'm sure the companies would exploit that in their route planning.

Not easy either way.
The real story is one of intensification. Before 2000-or-so there weren't many sky-scrapers in the City-of-London (i.e the central financial district), now it looks like there are upwards of twenty.

Similarly in almost every photograph there is much less brown/grey space. Either empty spaces, or inner-city car-parks have been replaced by parks, or by new buildings.

I think this is reflected in the population history of the city. Since 2000 the city has grown from 7.2 million to 9.0 million - that's a good 20%, and London within the city limits (not that this is a great measure of city size) now actually had more population than New York.
For me, the writing style is hard to get past and just isn't executed well when compared with high quality literature.

Despite the relatively naive execution, the underlying themes are powerful. I think the narrative approach is what makes it possible to revisit repeatedly and pattern match across widely varying contexts.

We're story telling creatures and a smarter, more academic recitation of a set of facts and observations probably wouldn't have held up as well.

I also agree that it doesn't appear to stand against even small amounts of critical argument while it unfolds, but the central position is so powerful, it's worth suspending disbelief for a bit, enjoy the story and then start taking it apart after it's complete.
:r!date -Iseconds
Berkshire Hathaway is a public company and IIRC Buffet only owns about 15% of it. So it really that different from a large corporation with many subsidiaries which also runs an actively managed investment fund at the same time?
WTF is going on with R7RS Large?
When a newspaper article is headlined with a question the answer is always no
> Can't use fixed paths in tmp dirs, that's either a security issue or a denial of service attack waiting to happen. I can `mkdir /var/tmp/usercache-prmoustache`.

Well we don't even need a fixed dir, a session generated dir with an env variable set to it is enough.

Or we could put that somewhere else in var. We created /var/run/<users> dirs, there is no reason we couldn't do other directories for other uses.

>> Put that into /usr/local/<username> instead!
>
>Not writable to regular users,

fixable

> and not meant for that.

I am pretty sure I have used some BSD in the past where the home directories were in /usr/home and /usr/local is a pretty good spot to put what is -- wait for it -- local to the machine!

There is no reason we couldn't have all our user owned binaries in /usr/local/<username>/bin and /usr/local/<username>/lib and our configs in /usr/local/<username>/etc

It would just have to be created at user creation with correct user rights but that is no big deal.

Users would just put their files in their /home, be able to sync it accross machines/ possibly different OSes without necessarily synchronising config files that do not apply to it or worse, unneeded cache files.
Their /usr/local/<username>/etc could be a git (or other versionning system) repo
Their /usr/local/<username>/bin lib share whatever could be saved and restored easily

And all the variable/ephemeral shit/cache could go to var where they belong.
Currency might also just be bits on a server.
"Modern" Javascript essentially is Typescript without the type hints (e.g. if you ignore the historical baggage, JS is actually a fairly decent language).
Nice for expensive sports cars where cost doesn't matter. But everything else competes on cost, not weight. These high density batteries are going to be very premium priced for quite some time to come. Plenty of customers willing to pay that premium. High volume production of that things is likely some time away.

Catl also produces some sodium ion batteries. They have even less density than LFP but contain no lithium or other valuable materials. For mass production, cost is king. And with faster charging speeds, range becomes less important.
sorry should have added more context, this isn't about prison. It's game theory about limits of cooperation in low trust environments.

"The prisoner's dilemma is a game theory thought experiment that involves two rational agents, each of whom can cooperate for mutual benefit or betray their partner ("defect") for individual reward"
How many outside professionals know German language. No wonder many won't prefer Germany.
Evergrande has more debt than assets - including property - I believe. They can sell everything at book value and they will still owe money.
The reason why MS-DOS text editors were so fast and felt powerful is that they used direct access to video memory to render the text-mode UI.

Unix is still stuck on the notion of the console being an output stream that emulates a Teletype printer at some level. Full-screen text UIs work around this by adding extra layers for screen manipulation in a stream-oriented device.

On MS-DOS, the system APIs were so primitive and limited that everybody (beyond basic CLI tools anyway) just wrote directly against the IBM PC hardware, which conveniently mapped the text-mode screen at a memory location. You could print or move or clear on-screen elements using standard memory operations, and there was no other software layer sitting in between translating the frame buffer, so updates were instant. (No other hardware layers either. The CRT blasted out your characters at most some 15 ms after your update. Today, who knows what’s buffered in the GPU and display itself.)

It’s the difference between a multi-user system where you (as the user) get a narrow stream of I/O with the shared computer vs. a single-user machine where you truly control the device. Sadly the latter model of personal computing is increasingly obsolete.
What about the people who make these half assed laws and regulations? Either they don't care about their job or their job definition is wrong to begin with
Oh, I skimmed over the O(1) part.

That baffled me for a moment, then I realized you were talking about the general case of a uniform random input where a carry for the 1s digit has probability 0.1, a carry for the 10s digit 0.01, etc., and all 9s is the pathological worst case, right? That's what I get for coming into the discussion sideways.
Type-refining if in TypeScript is good enough for pattern matching if you ask me.
The last two decades were a world of low interest rates where people worked in offices and lived in expensive, high density flats.
If commercial real estate has already peaked I wonder what the next two decades of development in London will look like?
> Germany has liberalised its immigration rules, but the visa process is still glacial and the system favours refugees over professionals who might want to settle in the country.

A big issue for professionals to move is they have to learn German.
Any updates on type union? Using dynamic removes all the type hints.

I’d like to statically type which two types a function might return.
"Princes of the Yen" - both a book and documentary - well worth watching:

https://www.youtube.com/watch?v=jsO0JYu_5WI
This has been true of Windows for a long, long time. I did a few benchmarks back in 2006 and installing 1000 fonts had a comparable effect on boot time to Norton Internet Security.

This carried into GDI starts but caching made that painful to benchmark. Reliably.

Does make you wonder how much Windows 95 code or even just idioms are still clanging around inside Windows 10.

https://thepcspy.com/read/what-slows-windows-down/#codecs-an...
I used to work in wild land firefighting as contractor for the Forest Service. From how my coworkers understood it, everyone got paid more fighting fires than preventing them, and the national budget reflects that [sources needed]. Not only firefighters but also all the contractors, air tanker and helicopter companies, and the retardant manufacturer, Monsanto, are paid well. It’s very easy for me to imagine such interests lobbying in congress to direct more and more funds toward fire fighting rather than prevention efforts.
The public services and service industry is particularly brutal to non German speakers. The unfriendliness is astounding if you don't speak german
Yes, good point, JS/TS is definitely behind Python. That might explain some of it.

I expect most models to become multi modal in the future and am building towards. A lot of the core logic of agents will nevertheless be text based imo, so that’s a central piece, but I already added text to image and speech to text, and plan to add text to speech next.
> if the compiler is able to detect erroneous code

Today in most cases nobody is writing this code. Neither C nor C++ have any mandate for such detection.

There is a proposal, which could perhaps make it into C++ 26, to formally specify "erroneous behaviour" and have the compiler do something particular and warn you that what you're doing is a bad idea for the specified cases†, but it's easily possible that doesn't end up in the IS, or that compiler vendors aren't interested in implementing it. Meanwhile, if it happens at all it's up to the vendor.

† "Erroneous behaviour" is one possible approach to the uninitialized locals problem in C++. Once upon a time C says local variables can be declared and used without initializing them, this actually has Undefined Behaviour, which is very surprising for C and C++ programmers who tend to imagine that they're getting the much milder Unspecified Behaviour, but they are not. Many outfits use compiler flags to say look, when I do this, and I know sometimes I'll screw up, just give me zeroes, so that's Defined Behaviour, it's not Intended Behaviour but at least it's not Undefined. This includes all major OS vendors (Microsoft, Apple, Red Hat etc.)

Some people brought this approach to WG21, but there was pushback, if uninitialized variables are zero, then they're not really uninitialized are they? This has two consequences, 1. Performance optimisations from not initializing data evaporate; and 2. It is now "correct" to use this zero initialization behaviour because it's specified by the language standard, so maybe you can't lint on it.

Erroneous Behaviour solves (2) by saying no, it's still wrong, it's just safely wrong, the compiler can report this is wrong and it must ensure your results are zero.

Another proposal offers a syntax to solve (1) by saying explicitly in your program, "No, I'm a smart C++ programmer, do not initialize these values", akin to the markers like ~~~ you may have seen to mean "Don't initialize this" in some other languages.
> Added to this are worsening geopolitics, the difficulty of eliminating carbon emissions and the travails of an ageing population.

Worsening geopolitics and an ageing population are more immideate problem compared to the inability to eliminate (not reduce) carbon emissions.

Or am I missing something? Can someone explain to me why ”eliminating carbon emissions” was sandwiched between the other two issues?
Maintaining is a different story and that is where Tailwind shines.
What was your reason for loathing living in London?

Edit: reason I ask is because I assume it's costs, I can't imagine your apartment was cheap. I don't see much evidence that even SWE's can comfortably live there.
When I moved here the Gherkin was an iconic building in the skyline. Now I can rarely see it, surrounded by other generic skyscrapers. I find it really sad they obscured it from vision.
I've always thought about having simple dialects of languages: limited vocabulary, only three tenses, no declinations (in the languages they have, i.e. German) and only regular verbs (in the languages they have, i.e. Spanish). Would it be possible?
I had this for a while, I suspect a lot if users are like me (and I assume you) in that the functionality they need from tmux is more or less just tabs and splits (tmux does more than this, but I don't tend to use those features) which kitty replaces pretty nicely.

Since I work across actual Linux and WSL I really appreciate having something that's terminal agnostic like tmux since it means I don't have to have a separate set up when kitty isn't available.
So statistically assembling byte arrays produces noisy output? Hm
Low-level and high-level error handling can coexist. It's no different than having a specialized try/catch inside a larger try/catch.

You may, for example, choose to handle very fast transient errors inside your `send-email` function. If you manage to connect in under $acceptable-time, return to the happy path*, otherwise return to the caller.

The only hard and fast rule is that any handling requiring human intervention should definitely be wrapped up and passed up.

* but do log a warning, regardless of whether you're just doing classic impure logging, collecting the logs as part of the success value, or using a writer monad.
Agree in principle, but younger people do speak English a lot better and in cities like Berlin or Hamburg it's an even lower barrier.
The anecdotal evidence the author supplies: economic growth is slow, trains are late, IT investment as a % of GDP is half that of US and France, business license takes 120 days to acquire. Nowhere does it seem to talk about living standards of the population. As if the economy is its own end and the population is just an epiphenomenon.
I guess its Vectorless vector in the same sense that we have Serverless servers?
Is "structure for a website" some technical term I haven't heard of? To me your question seems extremely vague.
Not my experience in Munich, but French are quite 'rude' too compared to southern Europeans and Anglos, so I would understand why people would think so.
I’m with you on this analysis, I’m good going see a local band at a club with 150 others. It’s a different objective and experience, but stadium shows seem so sterile.