skysight-inc/HackerNews huggingface dataset:
Some more recent books in this area:

David Corfield "Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy"

Fernando Zalamea "Synthetic Philosophy of Contemporary Mathematics" (though the book is a bit convoluted in the language it uses)

also recent translation from French:

Albert Lautman "Mathematics, Ideas and the Physical Real"

also a book that uses category theory for purposes of philosophy:

Rocco Gangle "Diagrammatic Immanence: Category Theory and Philosophy"

I also would guess, that nowadays such a book should include chapters about automatic theorem provers, but don't know them
> Almost all bugs are logic bugs or inconsistent state bugs (thanks OOP!), almost none are type bugs.

What if you drastically reduce the possibility of inconsistent state by making it unrepresentable at the type level?

What if you immediately know that you’ve exhaustively handled all your cases?

What if types push parsing in the right direction?
Is 25-26 WPM considered 'high speed' nowadays? I haven't been an active amateur radio guy for over 40 years, but I remember getting the delay league's 30 WPM cert and having to send and receive 20 WPM to get the extra. I also remember going out to work field day with a radio club using my straight key because I was not using CW much and was getting rusty at it. After a day or so of that, I think I was keeping up with most of the operators with keyers and paddles, a little over 30 wpm, I figured. I was acquainted with a professional telegraph operator at that time, and she said that they just cruised at around 50 wpm, and she worked 4 hours of international morse and 4 hours of American morse each day. What was/is the highest speed for the ARRL certificates? I remember hearing lots of signals going way faster than what I was comfortable with, even rare DX stations who were trying to keep up with the pileups.

The two things that surprised me about the video was that the key was not plugged-in, meaning that he could not hear his fist sounding like CW as he was pounding away, and that vertical motion of his key was so large -- I used to set my key to have a very narrow gap with a stiff spring when I wanted to send quickly.
I miss Knightmare:

https://youtu.be/eU5pdZOA9vc
> There's a perfectly fine way to describe zero-tolerance with exceptions, and it's not even far fetched: “low tolerance”.

They are not the same thing.

Let's say there is a scale from 0 to 10.

If you accept 1-2, that's low tolerance.

If you reject anything above 0, except this particular 2 and this particular 5, that's zero-tolerance with exceptions.
> The only search product that comes close to this is Amazon search or booking.com (or maybe YouTube).

What is so great about those search examples?
Even better is/was the wording around insider installation, it said you can go back to normal windows, but left out the small detail that you have to reinstall normal windows from scratch vs rolling back.
Is there a screenshot of how it looks on various platforms? Thunderbird always managed to look “off” anywhere I ran it, so I’m curious if that is part of what makes this “better”.
On Ubuntu there is a snap available shipping Emacs 28 including native compilation turned on:

https://github.com/alexmurray/emacs-snap

I am using it as a daily driver for months already without issues so far.
See https://twitter.com/kamilkazani/status/1572270599535214598 for explanation of where it goes from here.
I see similar postings coming by on LinkedIn now and then. Although there is some value in the benchmark results, the way these results are promoted is such a BS.

If your company's business is really in running some algorithms similar to binary search or the n-body problem, you should probably not be checking which language to choose that is most energy efficient, but which library or framework suits you the best. E.g you can perfectly well use Python + Pandas or NumPy even though everybody will agree that Python in itself is terribly inefficient.
If you really want to go to the extreme in saving energy you should go all the way and code your algorithms in assembly. But it's obvious why this is probably not a very wise choice.

Everybody who knows a bit about IT will understand this, but the danger is that some project managers will read one of these papers and draw the conclusion that the team should switch to C or Rust because it is more sustainable ..
I don't know why people have this nostalgia, my first PCB was basically nothing but SMT components with just a handful of through hole components for things like connectors.
So get a 4050 or whatever will the midrange bit.

PC gaming was never more alive than those last two years.
If you only use "simple types" then you often get implicit assumptions about the "values". For instance note that "web-services" basically means you have a very simple interface defined by the HTTP-protocol.

But what is actually inside the HTTP-payloads can then have many constraints on them which are not declared anywhere. For instance your code might assume the payload is JSON with several required fields in it.
The insanity of EA's anti-cheat system by a Kernel Dev
You're confused. The EU's cookie consent dialogues do not come from the GDPR; they're several years older than that. They come from the Privacy and Electronic Communications Directive (ePD), particularly the 2009 amendment to that.
For every artist Spotify currently shows :

- Top 10 tracks.

- Artist posted playlist if any. (Only 1 is shown here, maybe the most popular one ?)

- Entire discography. (Singles, EPs, albums in chronological order)

- Spotify editorial playlists prominently featuring said artist.

- Merch.

- Bio.

- All artist posted playlists.

- Similar artists.

- Soundtracks or albums where the artist was featured.
the usual spam from Fox "News"
> honestly even the arrogance in the name itself gives me pause

I don't see arrogance in the name, it's just bit cheesy and unappealing. But I guess it's hard to come with something both catchy and at the same telling it's Thunderbird beneath but with enhancements.

Postbox which is also based on Thunderbird and comes with additional features, started as freeware in beta. After the stable release a 30-day trial was introduced and those who originally pick the beta could get full version with a discount. At this moment it's a paid software that asks for email (sic) for which you'll receive the download link.
I mean it kinda depends on who you consider the abrasive guy. In my experience just like with linux a lot of the ffmpeg/mplayer folks were abrasive. Sometimes it bothers me sometimes is doesn't.

Michael Niedermayer was the maintainer and a guy who did crazy amounts of work on ffmpeg. But he was also what seemed to be the BDFL. I'm not entirely sure what happened, but it seems like there was sort of a coup that took over development. Then the Michael Niedermayer side took back control and the group that took over ffmpeg abdicated power over ffmpeg and its brand and moved to a fork.

It's actually interesting how hard it is to get a simple timeline of events. But some information is in the following thread:

https://web.archive.org/web/20120511022506/http://lists.mpla...
tl;dr

In the latest Windows 11 version Credential Guard will be turned on by default for the first time.

The current technique for stealing login and password information is known as "credential dumping," and it's widely used by attackers ranging from ransomware operators to nation-state hackers. Credential dumping entails copying credentials from several different areas within Windows, often with the help of a software tool such as Mimikatz.

The underlying technology used by Credential Guard, is known as virtualization-based security. Virtualization-based security features was a main driver for the higher CPU requirements for Windows 11
There's an academic papers section on the website for Céu, which is a research language first and foremost:

http://ceu-lang.org/publications.html

From the references of those papers it should be easy to find others, right?

And yes, you're absolutely right that the synchronous model is more restrictive - most synchronous languages follow the GALS principle: "globally asynchronous, locally synchronous". One benefit of the synchronous model is that it can essentially be compiled to a finite state machine with a memory overhead of mere bytes per "trail" (the synchronous analogue of a thread - the code snipped above has one synchronous "main" trail that splits into two synchronous trails in the "par/or" section).

The focus on this makes sense historically, since many synchronous languages were originally designed to target hard real-time embedded systems, where available memory is small, computational tasks are usually not very heavy, and the "asynchronous" part is interacting with the real world.

But that also suggests that synchronous and asynchronous concurrency could complement each other with the right language design.
I wonder how would compare a more traditional Unix system like Solaris with all the rest here
See https://twitter.com/kamilkazani/status/1572270599535214598 for a pretty good description of where it goes from here.
On Aug 27th, 2021, a notification of 2021-0283 was published by KATS.
Key points are concluded as bellowing:
1. Published KC 62368-1, would withdraw KC 60065 / K 60950-1 / K60950-22.
2. IEC 62368-1 ed.3 take place of IEC 60065 + IEC 60950
3. KC 60065, K 60950-1, K 60950-22 would be effective until Dec.31th 2022.
This notice will become effective from the date it published.

LCS -Amber

Shenzhen LCS Compliance Testing Laboratory Ltd.

Wechat: 13642455025

E-mail: sixian.huang@lcs-cert.com

CE,FCC,IC,KC,NCC,WPC,BQB,TELEC,JATE,CTA,PTCRB,WFA...
> Like most cloud services, I can access the notes but it is my policy never to do so and I never have.

I'd be more than happy to pay and even disable sync -- it seems like it should be trivial to offer a version that doesn't sync at all or uses E2EE.

Frankly your product looks exceptionally nice, and I really like it. I just can't justify using it because it's too risky, from a data use standpoint, to allow other people into my mind. I hope you'll consider at least a fully offline / no sync mode.
What does the object have to do with http status codes? It completely entangles the HTTP layer with the database model.
You mean like Linus or countless others did with Linux eh and a bunch of other world class open source projects?

This is the lie people like you keep purporting in those VC money firehoses that have no grounds in the real world.
Thank you!

It does sound about as bad as I thought. This "death of domestic knitting machines" as you put it has turned it all into some weird steampunk, because these old models are being sold (I can walk into a store and buy a new Silver Reed where I live), so probably someone still makes them, but the technology has been locked in to these models from 80's. Unlike with the sewing machines, where they are still trying to come up with new models, by adding every sort of useless gimmick.

Wouldn't touch Kniterate with a long pole, because of the long term repair and maintenance outlook. They are basically single product startup, and no idea who their OEM is.
Comparing alternatives, BFFs add reliability that an API Gateway pattern doesn't have. One choice is to shard the API Gateway, but then the distinction between BFF and Gateway becomes more philosophical.
I think you overestimate the positive image boon. The only people who would care about supporting free software are fairly techy, and they're likely either already Musk supporters or so anti Musk they'd only see the move in a cynical light.

You can see this with Microsoft. Most people have no idea that "Microsoft Loves Open Source" is a thing. A few people seem to think Microsoft deserve the benefit of the doubt, some view it from a purely pragmatic view, and some will never forget "embrace, extend, extinguish."

The practical benefits might end up worthwhile for them though.
How often does this happen? Once in a life time? This is the kind of stuff that makes you go nutty. Of course you _can_ try to prepare for everything and anything, but does it actually make sense to worry about being in a flash flood like that? I doubt it.
>The West's strategy here is stupid

As opposed to the strategy of appeasing Russia, which resulted in the war we have now?

Look at the numbers: half of Russia’s army is gone. Western armies, apart from Ukraine, hadn’t even entered the conflict.
This is my take, too.

Went to the site, and it's very apparent that it's a "Revenge Inside (TM)" project. Left in 30 seconds. Will probably forget the existence of the project sometime today.
Standard hotel rooms don’t have many hiding places that won’t be eventually apparent to an intruder with time or a knowledgeable hotel employee. Considering this, I think ideal locations would be within objects that can’t simply be flipped over or moved to discover your secrets.

For example, you might hide your cash or documents in between a framed print and its backboard. You might open the room safe and reset it to the default state with your passport in a black envelope taped snug against the back ceiling of the enclosure.

A committed intruder might find hiding places like these eventually, but it could take an unacceptable amount of time for them to consider it.
Maybe the buntus are lagging behind in Emacs. I think most others have 28 in their releases.
Why is that? Is it against english grammar or something?
If it was .orElseReturn404 then yeah. My point is HTTP codes have no place outside of HTTP endpoints
Problem solving protocol
When Thunderbird closed shop, I went with Postbox, still do. I just need a client that works, and it has served me well.
To get used to the basics, I would recommend that you ask an other Linux user to teach you, in "real life" and in person.

With this knowledge, learning from a book will be more enjoyable.

The "computer culture" was started by people for which sharing knowledge was its main ideal, and it should be like that today.

(Is there a "Linux User Group" in your area?)
Sigh. Trickle-down doesn't work.

Lowering taxes on the wealthy helps the wealthy. It does not help the economy. Consumer spending is not increased, so the lost tax income by lowering taxes is not earned back through a larger economy to tax.

The predictable result is more income inequality, which already is higher than it ever has been since the second world war.
> North Korea is more "sovereign" than the U.S. in your book.

In practice, the US can do much more of whatever it pleases than North Korea can. The US can invade most countries on a whim, and has demonstrated this ability numerous times in living memory, while the North Korean government mostly just fumes for the past few decades. But more to your point, yes, North Korea has more sovereignty than most; they are one of the few countries America can't invade on a whim.
I would have liked to see the good options when not using the hotel safe.
Weekends could easily be > 1/3 of that time (say 24h over 2 days),leaving a reasonable ~5 hours per week day. I don't know about typical, but I've had such a schedule at points in my life when playing games I really enjoyed.
Poisoning I guess. I recently heard an interview with Eliot Higgins from Bellingcat and he said he doesn't order room service for this reason.
I am pretty sure it is working as intended. And the intention is not for you to customize your feed, it is for youtube to customize it for better retention in average. In dislike's case, you are marking the video as controversial which is a good metric for the video and youtube pushes it more
What’s the concept around New page? I don’t see a search so does your work allow you to forget about remaining tasks? Or do you use another task manager and this is what you want to achieve each day?

Is this more a sticky note approach rather than a full outstanding list right?
Maybe playing the recorder or inflating balloons is as effective.
No

There will periodically be times when the corporate sector doesn’t know what to do with you, and not hire you

but its better to be able to build anything you want

other people need 6-figures of capital just to hire a developer or two

you are the developer capital and just need 3-figures for everything else spent on Fiverr
It’s an HTTP proxy. Two layers of proxy.

I was just assuming that paying iCloud users might be less likely to launch bot attacks. But on reflection I guess that is just bias.
Yeah I thought it weird that you only get an e-mail that someone logged in under a new account - passing the 2fa. But they should send one after correct username / password too.

I don't mind getting an e-mail as another form of 2fa, but that has its own issues.
I'll take "tech world" to mean the modern computer software & web milieu, made possible after ~1992 by Moore's law effects and commonly-available internet access for households. Vs. municipal water supplies, steel plows, electrical power, antibiotics, weather satellites, and Lotus 1-2-3 for MS-DOS are technology, and changed the world, but...

Hmm... A really new area of economic activity (vs. farming, mining, transportation, ...), often supported by huge economic bubbles, frequent indifference to viable business models, a now-large workforce often commanding pay 3x or more what "normal economy" workers make and often expecting annual pay growth >10% higher than inflation, generally underwhelming contribution to human welfare (shinier things to click on every year is not a basic human need, nor does it seem to overall improve human society that much), ...

I'll say 95%.
I used to call myself a full-stack engineer. This worked a decade ago since I was earlier in my career and worked at places where implementing feature end-to-end from design, frontend to backend was standard practice. However there was a turning point a few years ago when I started to have real problems finding companies that still want to hire generalists. I'm not sure if that's just my bad luck or places like that just dried up.

In theory all companies like adaptable people. In practice I find most job descriptions prefer specialists nowadays. Coding interviews and job posting requirements are also very targeted to a specific skillset. Looking back it'd be a better choice to pick a specialization for up-to 4 years and retrain myself every now and then to paradigm/framework/language-du-jour rather than being proficient in everything and a master of none. As a specialist I'm more marketable, have a better workday/quality of life and fit better into teams that need a particular skillset.
Not necessarily. I was implying that part of the problem was that the applications are made cheaply and quickly, which necessitates the use of huge frameworks and libraries that make this possible. And then, because no one with decision making power cares about the size so much, these are just left in place instead of selectively rewriting or stripping the over-large parts to shrink the package.

This is distinct from any “feature-enabling” type bloat IMO, because it’s more “development style enabler” type bloat instead.
System memory allocator free operation zeroes out deallocated blocks in iOS 16
It’s good that we finally stopped appeasing every dictator with some cheap energy.
The challenges automakers, and now Tesla, face with humanoid robots
Need to get me one of those :)
New cars, new smartphones, new clothes, new GPU's... every year. Are we really in climate crisis of this neverending rat race? Or is it alarmism a new PR strategy that supports consumerism?
At what point will Russians just rise up? Surely they don't all want to go into the army, if you are being forced to fight why not fight against Putin
Such arrogance will not go unpunished. Banks have two ways to differentiate. Better app and better prices. The prices they can offer is based on their degree of automation and the quality of their risk models. In other words, they are tech companies and they better act like it.
The confidence was lost due to lies by right wing media and republicans.
Also after a while, it tends to forget about "don't recommend this channel" queries you do. I guess it gives the channel another chance for you?
Maybe this works out for some engineering organizations, but man am I glad not to work with this style of "backend" anymore. The folks at my last gig did this and never have I seen such a mess of services.

One particularly annoying pain point was that one of the engineering directors made it his personal mission to ensure that every service's Protobuf definition conformed to some platonic ideal. We'd have a BFF service Foo that essentially provides a wrapper around another service, Bar (among other things). Naturally, Foo's service definition included some Protobuf messages defined in Bar. Now the simple thing to do here would be to include those Protobuf message definitions in Foo.proto and expose them to consumers of the Foo service, but that apparently couples clients too tightly to Bar's service definition (?). So, it was decided that Foo's Protobuf file would contain actual copies of the messages defined in Bar. Adding a new field to a message in Bar wouldn't expose it to clients of Foo unless you also update the message definition in Foo.proto as well as the code that converts from Bar::SomeMessage to Foo:SomeMessage. Now imagine that the backend service is something commonly used, like UserService, and that there are potentially dozens of BFF services that contain copies of the definition of UserService::User. Welcome to hell.

The aforementioned engineering director would hunt down BFF services that dared to include a message dependency instead of copying the definition. He would then open a ticket and assign it to the service owner, informing them that they were not in compliance with the "Architectural Decision Record": the indisputable, no-exceptions, holy-of-holies log of technical mandates that were decided by a handful of people in a meeting three years ago.

This issue isn't necessarily inherent to BFF architecture, but I think it comes from the same place of overengineering and architectural astronautics.
All the recent projects I've been on have been shit shows, and I put it down to Agile, MVP, and inappropriate tools like Jira and Miro being used to manage projects with pretty diagrams and no depth or proper interdependency mapping.

I'd go for an old school MS project wielding project manager any day of the week.
This is the difference when you have dedicated, well-funded teams for which the design is the product. For most developers, it's something they are made to do on the side - I mean, "but you're a full stack developer, right??".
Fantastic! A great example of a simple product that people want/need.
A chuckle? I don't see the humor in it.
This is both sick and sad.
It's first year kinematics. The (first order) math is pretty easy to work out.
1/2 I w^2 is the rotational potential energy, Assuming all the mass of the wheel is at the rim (worst case) I = mr^2, w=v/r, so that works out to 1/2 mv^2, which is the same as the translational kinetic energy. So the 'energy penalty' of rotating mass is 2x. So, a 10kg bike with 2kg of wheels and 100kg of rider is approximately equal a non-rotating mass of 112kg. However, that rotating mass gives you 2% more kinetic energy to trade for wind drag, gravitational potential, or other friction. So, not much.

A bike's does not require gyroscopic effects to stay up -- there was an experiment with counter rotating wheels (to cancel the gyroscopic moment) that was ridable. The actual stability depends on the geometric and pneumatic trail, flop, weight distribution on the steering axis, and a few other things.

There is a middle ground that people have converged to -- Somewhere in the range of around 600mm bead seat diameter and an inch or two of tire. (26"->700c, 25->50mm width covers most of the biking world.)