skysight-inc/HackerNews huggingface dataset:
I don't know, however a key element is:

> Record/replay system is based on saving and replaying non-deterministic events

> The following non-deterministic data from peripheral devices is saved into the log: mouse and keyboard input, network packets, audio controller input, serial port input, and hardware clocks (they are non-deterministic too, because their values are taken from the host machine). Inputs from simulated hardware, memory of VM, software interrupts, and execution of instructions are not saved into the log, because they are deterministic and can be replayed by simulating the behavior of virtual machine starting from initial state.

So, it's probably not much, you can probably comfortably save minutes of qemu sessions.

Also note the existence of the rr debugger [1], which allows you to reverse debug applications with a ~10% performance hit while recording. To achieve this, it records results of syscalls (only). It will serialize thread events, so have the effect of running applications like on a single core CPU.

[1] https://rr-project.org/
If a projects desires a future, it requires adoption. For that, it must be approachable. When the syntax throws unicode math symbols at the user, and requires the user to first define the universe before even thinking about "this function negates the input", and in general throws years of programming language syntax conventions away, it's just not approachable.

I understand and empathize with the ideal that everyone should just know college level math. It may even be fun to engage in putting down those who don't. Oh, how they just ignored their classes! Stupid fools!

However, it's not a realistic expectation, even in the field of programming, where a large majority have not been accredited with a math bachelors degree. A LOT of programmers didn't even have computer science formal education.

Meet people where they are and all that. Taking position in an ivory tower allows you to feel intellectually superior, but practically speaking it doesn't actually get you anywhere.

The TLA+ community can not have it both ways, either stop bemoaning the lack of adoption of formal verification, or adapt to meet people where they are at. And certainly don't make redditor-esque proclamations about "just" "simply". Take a step back and think about your goals when you write in such a tone. Are you trying to build something and invite others? Or are you trying to prove your own intellect? To whom and what for?
> we're not talking about researches from Google or Microsoft

It's an important part of the picture. If the big boys are telling you it's not all hype and there's merit that can help OSS projects, kernels and drivers included, it could and should be used to reduce tension because shouting at people "You'll never force us to use Rust!" is not a mature thing to do (and it's present in a clip somebody linked in this thread).

If we can just discuss on merits, things will improve hugely. As it is though, people are being people and prefer to attack others based on emotions, yourself included, as illustrated here:

> I remember your nickname from some quite biased past comments on this Rust topic. Even in your recent history one can find downvoted sarcastic comments about Rust vs. C++ and now you want to be objective and want to discuss nuance.

This was one recent comment. One. You, my friend, are cherry-picking in an attempt to discredit me. Go and count my downvoted comments, I'll wait. We both know what you'll come back with.

I always wanted to discuss objectively and with nuance. Does not stop me being sarcastic sometimes, sue me. :)

I am surely showing more willingness to discuss than you however. Good enough for me.
Not arguing against the philosophy here, but wouldn't sufficiently unpredictable make it indistinguishable from free will, for practical purposes?
tldr: "when PTSD became a way of life"

A truly sad story, indeed
Geez like pretty much everything. See eg https://slate.com/culture/2014/12/the-imitation-game-fact-vs...

Enigma was originally broken by a team of Polish cryptanalysts, who invented both a paper method to break it (Zygalski sheets) and the machine shown in movie (Rejewski's bomba). Turing later worked on a team to improve the bomba, which was a significant achievement but he didn't invent or spearhead the whole thing.

All this "don't use a machine to do a man's job" was bullshit invented for the movie, as were like half the other conflicts. Everyone involved knew that breaking Enigma was important, and they were already using a machine to do it, but after the Nazis changed their use of Enigma, the Brits needed mathematical insights to improve the speed of their machine.

The main characters in the film did exist and had some of the personality traits shown, but mostly didn't interact they way that the film showed. Turing was openly gay. Cairncross (the spy) didn't work with Turing. The codebreakers didn't choose which intercepted information to use and how, etc.
You don't own any monitor or TV?
That sounds pretty gross really. :(
It is well known and absolutely not a secret that Einstein "stole" from fellow scientists and mathematicians. That's the whole "shoulders of giants" thing and how science typically works. If you study relativity, you will stumble upon the names of Poincaré (Poincaré group) and Minkowski (Minkowski metric) as well as others, like Lorenz (Lorenz transformation).

What Einstein is credited for is applying all these maths to the real world, coming up with a theory that is based on observations and testable.
> Sponsored By OpenAI

What does this mean?
> You can't write software code without the ability to think. You can't tactfully respond to emotional expression without the ability to think.

Of course you can.

https://en.wikipedia.org/wiki/Chinese_room

They’re not responding “tactfully”, you’re projecting emotion to a bunch of words written coldly.

It’s like writing a program that has a number of fixed strings like “I feel sad” or “I’m depressed” and when it sees those it outputs “I’m sorry to hear that. I’m here for you and love you”. The words may be comforting and come at the right time, but there’s no feeling or thought put into them.
> you notice the wave is growing and about to flood everything around you, but there's fuck all you can do about it.

Depends. For some product lines there's the "commercial grade" stuff available - for TVs, look into Digital Signage product lines and add some sort of TV stick (or an rpi) to them for the brains, for power tools look at what the tradespeople use (it's probably Bosch blue series, Makita or DeWalt), for kitchen equipment ask your nearest restaurant. For computing, I'd go to Apple (if your ecosystem supports it), Lenovo/Dell/HPs business line stuff (you don't need to buy the next day on-site package, but you want the models that do have that as an option because that's the ones that are both made for easy repair and have better components in the first place) or Framework. You pay quite the hefty premium over Chinesium stuff, but it's worth it.

Only thing I'd stay far away from if you're not trained on how to use them is cleaning supplies of all kinds, hair and body shampoo as the commercial ones are way stronger concentrated and you can do serious damage to your (or your loved ones) bodies if you, say, leave them on too long.
Using i3 with rofi on X11 git version (because of new TearFree option) myself. A very thin top bar for virtual desktops, tray icons, email notifications, sound volume and date time is all that I need anymore. Tiling is the best way for me to use my single 32" monitor.

The publication of high quality fonts since WindowMaker was a thing 25 years ago and expired patents for font rendering also needs to be mentioned. Desktop Linux has evolved nicely.
Likewise, I've been happy with Starlight and trust Astro products to be lightweight and efficient. I'm interested in knowing what makes it heavier
The DisplayPort connector includes a supply voltage. While it is weaker than in USB, it is strong enough to provide power to an active DisplayPort to HDMI converter, which can have the appearance of a video cable that can connect a DisplayPort source to an HDMI sink.

On one of the HDMI pins there is a DC voltage, but it has other purposes and it is too weak to provide power for a video converter.

This is why an HDMI to DisplayPort converter always requires an additional external power supply.
Yes, if there were no IP anyone could cheaply make a single-digit-nanometer-node custom ASIC to provide the alternative 4K-capable video hardware implementation. /s
> And?

... and no one will invest into nuclear plant which are to be amortized in (best case) 40 years, along with all the megastuff needed to operate them (formation, fuel processing, waste disposal...) if they are not pretty sure to be able to exploit them for at least 40 years. Note: currently all planed nuclear plants replace (at global scale) existing ones and therefore do not cause pressure over fuel (because there are very few of them), and their amortization plans are done upon 60 years.

> If you're implying that current JORC reserves* are all that exist

Nope, however massive prospection since the 1940's largely bumped up after the bubble (nearby 2007 https://en.wikipedia.org/wiki/Uranium_bubble_of_2007#Impact ) didn't lead to disruptive reserves discoveries, therefore this evaluation (about 130 years for the current fleet, at current conditions) is realistic. Who exactly will invest tens of billions of USD to build many nuclear plants (and their auxiliaries) on such a bet?

If there are other ways to obtain enough nuclear fuel at realistic conditions the burden of proof weights on you. Please state at least one.

Bonus: lowering uranium ore grade leads to more emission, threatening the 'low-carbon' qualification for nuclear. Scientific studies are clear: M. Lenzen ("between 10 and 130 g CO2-e/kWhel, with an average of 65 g") and E. Warner et G. Heath ("9 to 110 g CO‐eq/kWh by 2050") https://www.researchgate.net/publication/222817608_Life_cycl...
To be honest, I don't think there is a 'normal' amount of layoffs. It depends how well run the companies you work for are, and how unlucky you/they are when it comes to societal trends as a whole.

For example, I experienced layoffs from my last two roles, simply because the companies in question got affected by Covid. One had a lot of clients in the events industry, so had to layoff 90% of their staff when the lockdowns occurred, and the other bet the farm on the pandemic era rise in users lasting past the world reopening (which it didn't).

So I don't think someone getting laid off 3 times in two years is that out of the ordinary. Feels like you just got really unlucky with the companies that hired you, which is gonna to happen to at least a percentage of the population.

If it turned out they got fired for poor behaviour/incompetence at every company they worked in that would be a red flag, but just working for incompetent/failing companies isn't really a red flag in itself.
Except the guy was working for the DCRI, which has turned into the DGSI since 2014. So it has been out of the police forces for at least 10 years. Not a few weeks ago.

You can find a lot of information on french media, like https://www.leparisien.fr/faits-divers/reseau-franc-macon-de...

What would be more concerning is that current member of the DGSE were planning a murder (in the same article). But then again, they were arrested, and this is why we know what likely happened to Pasquali. This is not Russia where the FSB can run wild.

Finally, I do find it strange to argue with a brand new account who basically just post to defend Telegram.
>To me it's pretty clear reason why they've gone after Telegram is the Channels and Groups. Seen from a certain perspective Telegram channels are an alternative to Reddit, and have been popular medium during COVID and the Ukraine war for "alternative news". By now Reddit is properly controlled and subdued but Telegram isn't.

This is full on speculation. Right now the reality is you can buy underage people, drugs and weapons on telegram. ISIS recruitment channels, etc.

Playing the "free speech" card is disingenuous.
I think this is a bug in upgrade path, I have my normal profile with this problem (and a lot of accumulated things) but if I launch Firefox with a fresh profile then it works nice.
Even if that is factually correct -- a generous assumption but let's have it for a minute -- so what?
For me for "Indie" pricing is not clear what it means "members with less than 30K USD related annual revenue" Does it mean less than 30k revenue from app using Skip? Or any revenue such developer has? If the latter then any freelancer or indie will not qualify if have monthly salaries >2500usd doing any IT stuff or app dev using different frameworks.
If you have medical records (ie at the doctors office, etc), then maybe you can ask them about it the next time you visit the doctor?
Nice job! Fuck companies with "smart" appliances.
"Can't tell the difference between C and C++" is non-charitable interpretation and is not important here, the important part was memory safety.
I'll be honest. I hated it. Any book that contains the text "obviously ..." loses my trust. I can't respect an author who's too lazy to make his point.

He used it quite a few times in the beginning of the book.

"Obviously" is used for two reasons. Derision, or to escape criticism.

I'm obviously right.

Now the real critique. The book assumes experts are on hand to ask, and that terms don't change. I worked at a place where what we called user changed 3 times in 4 years. Runners/workers/producers. You would know when a bit of code was written based on the names for users in the api.

It also assumes that all experts agree. I worked on an education app where teachers in schools were the experts. Different schools in the same city had different terms for the same thing. So which expert do you trust.

Is it a trunk or a boot? Is it an elevator or a lift? And that's if you're writing an app for english only speaking experts.

Finally, we have to understand the mind of the dev, to know how they organised their walls. The dev that left the company 5 years ago.
Any alternative to use with Anthropic?
I do not disagree with you, but having the news and weather forecast in the start menu is seemingly a more important feature then having a good search functionality, what can we do? And maybe that even makes sense, maybe we are just not the target audience that brings in the money, or maybe they really just make stupid decisions, that is hard to tell from the outside in an objective manner.
Wasn't FireWire also massively encumbered in patents and very expensive licenses? I may be misremembering...
Should've added a bit more snark to that line to properly communicate that I absolutely don't believe their claims that everything is designed/made in Australia.

It's very obvious they just went for the cheapest bottom-of-the-barrel tablet Alibaba has to offer on one of their main products. I wouldn't trust this company to do anything competently.
Waist of time.
Nuxt Scripts
I think they are complementary. Valgrind is especially useful because you don't need to recompile everything. In other words, you can test what you ship (albeit slowly), and that includes dependent libraries that may have their own bugs. On the other hand, ASAN is essential for fuzzing code.
Tip: Instead of soldering I use splicing connectors with levers for testing stuff like this out. For example:

https://www.wago.com/de-en/c/installation-terminal-blocks-an...
>Telegram is used by Russia, terror groups, and so on.

As well as a lot of people in CIS countries (including Ukraine), people fed up with Meta and probably 95% of Android custom ROM communities (wild guess, do not quote me on that).

Not to mention platforms like, for example, Discord. Also used in Russia. Also probably used by terror groups. But it's okay because we are supposed to like "our" platform.

>It's always funny to hear people talk about free speech in that situation.
> in this case, I'm looking for DisplayPort when I buy

That's an option if what you are looking for is a normal computer monitor. If you want a big TV then good luck finding one with DP, especially if you have other requirements (emissive pixels with real blacks, HDR, etc) that further limit your options.
His book is a great read. Had me laughing out of the box.
Sites are still up. The results have been removed from Google
> DP is still missing HDMI features like ARC and CEC, which are important for TVs.

ARC could also be considered as a bug, a hindrance, or both.

ARC and its various implementations would not exist if the HDMI Forum would not be so fanatically force copy protection on everything. The whole problem, or feature that ARC is or is not, would disappear with the reliance of protecting every stream. The alternative would be a full datastream, decoded, going back to the device in question. The prerequisite would be to remove the shitshow that HDCP is and allow full-blown HDMI-in and outputs, which is the exact opposite of what the Forum wants.

HDMI in its current implementation hinders technological progress in the audio segment by forcing everyone to output analogue signals after the decoding stage or not allow decoding at all.
Yeah, but so what? Time still has meaning, and is important to us, if only because we know we’re going to die.

Some theologians believe time exists also in Heaven. If that’s so it can’t be like any time we know about.
Stimulate, indeed. How do we convince others to keep prototyping languages/technologies for prototypes? And to move from prototypes to actual products using languages that focus more on correctness and static guarantees, rather than endless runtime flexibility and dynamism?
I'm sure that they made things more difficult by employing proprietary hardware wherever they can (also to discourage competition), but yes, there are a bunch of sensors and actuators in there and any board with the appropriate i/o capabilities should be able to interface to them, however writing a working firmware would be next to a nightmare: how do you find developers who want to spend months reverse engineering an AC and also know enough about ACs to put together something that works?
Replacing household appliances brains with open counterparts would be a heck of a business opportunity to revive or prolong the life of dead/obsolete products, however I guess finding people who are interested enough to do that with FOSS, essentially selling only hardware and installation services would be really hard.
My own aircons are just simple individual items that are interchangeable between rooms.

There is no single control for the whole house but on the other hand I never let it run when I am away and I am never in 2 rooms at the same time so I just close the door so I only have to keep one room cool. I fail to see the need of an aircon I could control remotely with a smartphone or any smart bullshit system that control every room at the same time. And I think if I ever needed that I would probably just control the individual aircon via small esp32 with irtransmitter driven by a home server. That way the individual remotes would still be usable in case of an individual failure.
There isn't much incentive to publish academic papers outside of academia. It's a huge hassle and the juice generally isn't worth the squeeze.
> the effective exploitation of [their] powers of abstraction must be regarded as one of the most vital activities of a competent programmer... the purpose of abstracting is not to be vague, but to create a new semantic level in which one can be absolutely precise.
I don't have a factual answer for you (be interested in one, too), only a cheek-in-tongue one:
It's like politics, the only thing you have to do to get elected is to get people to vote for you. And often the vote is only among people who _want_ to be elected (and in a position of power), massively reducing the pool of good candidates.
I've never looked into the PDF format, but, does it not allow for annotations that say, "the glyphs in the rectangle ((x0, y0), (x1, y1)) represent the text 'foobar'")? That's been my mental model for how they are text-searchable.
Because the System has to be self-hosting, remember it's a whole OS and not just the Kernel, and as you can see ~25% of src is C++, 62% C etc.

Rewrite everything C++ is not a small undertaking with (maybe?) not allot plus-sides, and even then you still need C++ because of LLVM. LLVM and GCC are both C++, and you have to compile the Compiler (self-hosting), and even if your a 100% Rust or C OS, you still need C++ because of LLVM/GCC....well if you want a modern compiler ;)

https://github.com/freebsd/freebsd-src
If anybody Google would know most about that after their LLM memo all that time ago (basically "we're losing because we're trying to fight/compete with OS models"): https://www.semianalysis.com/p/google-we-have-no-moat-and-ne...
> Extending src/dst in current IPv4 protocol headers is much easier than adopting a completely new suite.

And that's precisely why that was also one of the competing proposals back then, so that tells me that just being easier probably wasn't enough.

You can search for RFC 1475 ("IPv7") and its surrounding history.
Never heard of that, the closest I did see was a meme of:

GPT-3.5: *small circle* 175 billion parameters

GPT-4: *huge circle* 175 trillion parameters

(I think the second number was constantly being increased with each day that passed, but perhaps I misremember)
Because cats love warm houses.
Just want to point out that the flow you're describing is not that noteworthy and has been doable in many instant text-to-app services for at least a year, and doesn't really include any of the points that OP highlights as the USP. Vercel has their own (v0) etc. Your version even looks the same as when you tell WebSim to make a snake game. Townie from val.town is the best in my opinion because it can also generate live backend endpoints.

It's a really saturated market but I wish OP the best of luck.
It's not dead at all. You're probably looking at https://github.com/etoile/Etoile which only contains the basic directory structure, but the code itself is in other repositories under https://github.com/etoile
As long as it's done in the right way, I think a supplier raising safety concerns should be a reason to do _more_ business with them, not less.
> off-the-shelf 4K 120Hz monitor which refused to work at that resolution/refresh rate on an HDMI cable.

I run a 4K 144Hz monitor over HDMI. Are you sure you don‘t just need a better cable?
The entire time Bolsonaro was in power he was questioning the election system, doing parades and using public money to promote himself.

His supporters openly asked for military intervention in case he didn't win reelection, something Bolsonaro didn't try to defuse.

In fact, when he lost, he just fled the country.

When truck drivers threatened to stop the country indefinitely in an illegal movement he didn't try to tell them otherwise. When his supporters marched towards Brasília asking for military intervention, he didn't try to say nothing against that. Up until the point where soldiers arrived to contain the situation in Brasilia, because the police wasn't doing anything, being complacent with the situation, these invaders were thinking these soldiers were there to help them! They applauded these soldiers that were there to arrest them.

None, not a single one of these facts were present in 2013 or 2016.

And you are trying to tie these events together? Come on now.
Sounds like it was done via the media, not the correct internal channels.
If possible, they should add a hook and individual download script like for DeCSS back in the day. Let them come at each of us individually for wanting to use the ports in our own hardware.
How do i legally purchase a license for the binaries?
I did a cyrsory examination of the genealogy a while back due to the events.. Ilya was probably quite related to.. Yevgeniy (verify?)