skysight-inc/HackerNews huggingface dataset:
> - use an open source version of Android on your phone, without the Google services

Having tried this many times over the last 10 years, I have never encountered a stable, non-vendor Android distribution for any of my phones. Oh there are always multiple available Android images for most popular phones, however in my experience they are always unstable in ways that make them too much of a hassle to use. I have experienced bluetooth suddenly disconnecting from my headset and refusign to reconnect until i reboot the phone, WiFi drops connection and needs a phone reboot, unable to make phone calls or receive SMS until I reboot the phone, phone randomly reboots without any interaction. These are primary uses for my phone and if the primary functionality of the Android image is broken, I do not want to use it.
We are LIFEPOWR! Antwerp (Belgium) | Full-time | REMOTE | https://www.lifepowr.io/job-offers

A young and dynamic company, active in energy transition and scaling up!

We develop and operate Virtual Power Plant (VPP) technologies to support the worldwide transition towards renewable energy. Our VPPs deliver significant value to households, businesses and society in its entirety.

Our VPPs consist of different types of virtually connected energy resources, such as batteries, chargers for electric cars and inverters for solar panels, aggregated together into a network of merged flexible capacity, to keep energy needs in balance and to optimize the impact of renewable energy.

We take the road to ‘net zero’ seriously and we are convinced that our algorithms make the necessary difference.

You can help us reach these goals in the role of IoT FLEET MANAGER to guarantee the smooth operation of our Virtual Power Plant!
Is this in the top 10 things I should know about history?
It's 50%. It's significant, as much as gas car economy improvements over a few decades. We should of course still take it, but it's not nearly enough.

We need a order of magnitude improvement to make the globally growing car use remotely sustainable. Reducing car usage can be done many ways, eg ensuring gas is taxed enough that gas-based cars don't stay in everyday use, and developing non car transport and urban structure.
if you have a desktop computer, it's easy to buy a dvd and put it in the case...
> and never defined in the document.

From the document's first part:

> A Conflict-free Replicated Data Type, or CRDT, is an umbrella term for any data structure that can be replicated and modified concurrently across multiple sites, and is guaranteed to converge without the need for a central authority to coordinate the changes.
Basically, the legal methods of communication are bids during the auction process (This is where alerts generally come in, although that's actually something set by the ruling body and protocols very from jurisdiction to jurisdiction) and cards played during the hand.

ALL other communication is banned. This includes anything like mannerism, tempo, facial expression, etc.

High level competitions are played with a divider (see https://upload.wikimedia.org/wikipedia/commons/thumb/7/78/Br...) that prevents one from seing partner.
Google was founded 25 years ago today
Related (as in: investment advice for those who don't want to think too much about it)

https://www.bogleheads.org/wiki/Bogleheads%C2%AE_investment_...

https://www.bogleheads.org/wiki/Lazy_portfolios

https://www.bogleheads.org/wiki/Simple_non-US_portfolios

https://www.reddit.com/r/Bogleheads/
Sorry to jump in, what do you mean under "severe lack of good quality modern DHCP software"?

There is no shortage of amazingly reliable DHCP servers that work for many years without restarts. It's an old, well tested reliable technology, that just works. What "modern" stuff you would like to bring?
It sounds like OP just had bad luck with the club he chose to play for. I used to play a lot when I was young (23); tournaments, club competition etc.
I never got bad comments about my age, quite the opposite: people were happy to get some young blood in their club. I'm white so can't comment about any racism, but in general the atmosphere has always been very friendly and polite.
Do we have something like this but for rust?
You may not have, but non-computerists likely did.
I'm not entirely sure how you imagine Visa's fees protect you from Linux kernel zero days. More than likely, the unwieldy infrastructure with massive technical debt accrued over decades has a much larger attack surface and uses a myriad of more or less obsolete technology.

Also, the payment system should not be confused with the banking system. Complete control over the payment system would give the attacker the ability to deny payments or make fraudulent ones, but would not, for example, allow the attacker access to accounts not linked to a payment instrument, or allow them to circumvent the limits set on such instruments.
These differences between people are really interesting. When I switched from a traditional keyboard to a flat column stagger keyboard, I did 15-30 minutes of exercises a day and after a week I was pretty much at my regular speed. Going from a flat column stagger keyboard to a Kinesis Advantage took me a few hours of adjustment at most. And from the Advantage to the Glove80 no adjustment at all.

I type Colemak-DH, but I am experimenting on the side with letter on thumb layouts. Over the past few weeks, I have tried rsthd, Maltron, and now aptmak (30 key variant). With aptmak I am at 40 WPM after ~5 days. I still type Colemak-DH during the workday at my regular speed, I can switch to a typing tutor and type aptmak at that speed again after two minutes or so (even though I have space on the other hand).

I am sorry for all those people for which this is a really long painful process. I am sure age is a factor, but I am also past 40, so it's definitely not the only factor.
Most modern languages with static types have some way to preserve them across network/file transports. You can use a serialisation format that is typed (e.g. FlatBuffers etc.) or a library that validates the types on load, e.g. Serde. Even Python has Pydantic.
orange juice with pulp in it, watermelon and carrot, you can even sneak spinach in.. no, worst case of juice isn't good either
Microsoft had three staff at Australian data centre campus when Azure went out
Meh. I worked in a nursing home for a little while. You could definitely tell the difference between the people who lived healthy lives and those who "skidded in broadside, used up, totally worn out". Not recommended. They often linger that way for years.
It may not be owed but it was promised, presumably in legally enforceable documents that would have been used if the former employees broke the terms of severance.
Cartoon Painting – Draw Sketc Pictures Paint Board Pad
My (non-expert) brain maps it to this. Your output is a curve of some kind with the same mathematics as the problem you actually care about. The term “Quantum computing” can really refer to a number of quantum mechanical systems with fundamentally different properties (e.g., boson vs fermion) that have the same mathematics as some classes of problems
Burning Man: Thousands of festival attendees remain stuck in the Nevada desert
I can see it being mechanical if you're playing at a high level where both you and your partner understand exactly how to communicate/telegraph through the cards etc.

I'm curious if you also find Texas Hold'Em Poker mechanical when switching between the various levels of thinking from 1 to 7 etc.
Guess what happens when you have to publish novel work frequently. About subjects that people have been writing about for decades or centuries. Not just that, but you don't get access to certain documents and archives unless you follow certain narratives of certain counties and regimes.
The webpage says:

ASP.NET - Create web projects with full code completion support and test on XSP, the Mono web server.

But the XSP project is archived:

https://github.com/mono/xsp

So I wonder for how long XSP will be considered a "plus" for Monodevelop.
Elon? Is that you?
Well, humorists get routinely downvoted, so we tend to keep our heads down.
> reading from a second monitor as someone types the answers for them.

when I am focusing, I tend to fix on a blank spot on the wall and just stare at it while coming up with a response.
Certificate seems broken?
> Please don't put words in my mouth. It's insulting, rude, and also arrogant.

:) so you’re complaining that the existing feature set doesn’t cover your use case, calling this decision arrogant, but _in fact_ you do not want this feature implemented? Right. Now I follow. Of course you didn’t say that. My apologies.

> You're writing as if I'm in this developer's issue tracker making demands. I'm not. We're both in a thread on a forum separate from…

Calling people arrogant for the choices they made working on a product (useful to thousands) for free is exactly what entitlement is. It would be actually better if you did the same in the issue tracker, at least the author could have blocked you and limit the toxicity.

It’s not up to you to decide for the author of the free tool what features should be implemented in this tool. You didn’t pay a cent to him. You do not have any right to criticize him in this tone.

What you could do is ask politely and leave quietly if the request was denied. Or you could suggest better alternatives as the author of the linked article did. Everything else is nothing but entitlement. And yeah, I stand by that opinion too.
But the 2940 supports up to 7 devices and you could add more drives to improve performance. If you have /, /home, and /usr on a separate drive you get a significant reduction in latency which improves your work efficiency.
https://archive.ph/IOf0f
Don't forget heterogeneous network topologies and the fact that some members make absolutely terrible leaders.
Based on your idea, I implemented a 3 bit CRC last night.

Since my word list is 4096 words, each word represents 12 bits. This means that if I use a 3 bit crc, each word can check 4 other words.

{ words: [ 'beg', 'notably', 'renew', 'curious' ], crc: [ 'joy' ] }
{ words: [ 'beg', 'notably', 'able', 'curious' ], crc: [ 'joy' ] }
[ '100', '000', '011', '000' ] 100000010000
[ true, true, false, true ]

You can see it correctly identified that the third word is wrong. I will probably integrate something like this next time I update wherewords.id, although that might be a while....
Animal mazes are a popular class of gaming apps
Care to share examples? Because wearong different clothing, speaking different languages and having a different religion are actually none. Discriminating because of those is actually illegal in most western democracies.
I was wondering who was keeping this site/domain up because I thought Bell Labs no longer existed. Only now discovered it’s owned by Nokia (although at a different domain: bell-labs.com)
I am a consumer and I was able to get it ;)

But yes, I know what you mean, obviously.
> what's a fundamental problem in a lot of "traditional" C++ game code bases

I'll be more clear that I consider the needs of games and the needs of general apps to be very different, and I am particularly discussing the latter and not the former.

> Refcounting overhead cannot be ignored when performance matters,

People throw around the meme of "performance matters" in the GUI space when we've had mostly working solutions for the 99% percentile of applications for decades now. You're going to throw pretty much all your work to a background thread and send some updates over, or you're going to draw to a canvas of sorts that will likely bypass things altogether.

Refcounting is fine for a GUI framework and I am arguing that there is more value in something that ships and works today than waiting around for the next research project GUI framework approach to take off.

Note that I am not saying there's no value in the exploration of a GUI framework that feels "right" for Rust, I'm just saying that the insistence on that being the only goal is odd and ultimately holding the community back.
Your interpretation of wet has nothing to do with wet.
Semantics I guess. By your logic the Dodge Viper never existed because it was discontinued.

ISC was heavily invested in BIND 10, to the point I even got a sticker. That combined with a 1.x release are what make a software project production ready.

I'm sure everyone remembers history differently, but had ISC not gone into cost cutting mode Shane wouldn't have been laid off and we'd all be arguing over what BIND 10 alternative is best. :)
Comic Book Plus: Comics Archive
So, while not defending taking children away from their parents, you think it has benefits? Interesting take.
Art Deco got its start in 1910, but it didn't take off until after WWI. I did read those pages, even though I've been a big fan of Art Nouveau since I met my wife in the mid-90s and she introduced me to the style, and I was a fan of Art Deco since I was a kid in the 1970s and 1980s.

And I lived in Brussels, Belgium for almost eight years, in a house that was built in 1910 (according to the numbers formed into the bricks), and I lived about two blocks away from Hotel Horta. We have several coffee table books on Art Nouveau and Art Deco, some of which you can no longer find.

So, I am very well acquainted with both styles and when they were common. I also make a point of reading articles at any links that I include for reference.
Would it work in a CRDT context, where ordering is hard and so versions could only be local?
> Can C++ compilers + linters reliably detect all misuses of unique_ptr? Because that sounds like a halting-problem kind of problem, and as soon as you can't guarantee memory-safety, you're definitely not in the same ballpark in terms of safety.

Is C and assembly the same level of memory safety? Probably yes... but no, it is not in practice.

And C and C++? Yes, in theory, in practice... C++ is safer.

How about Rust? In theory Rust is safer. In practice, you are going to use C libraries here and there, so... in practice not as safe as advertised.

Well-written C++ with -Wall -Werror, -Weverything, -Wextra... that is very safe, including detecting even dangling stuff to some extent (gcc-13). If you stick to `shared_ptr` and `unique_ptr` no matter how much you complain about it: Rust with its C shims and C++ with all linters and a good environment are practically at similar levels of safety.

This is the practical, real thing that happens. I do use C++ for every day use for around 14 years professionally and 20 years in total.

You are all in the terrain of theory, but how much Rust and C++ have you really written?

Of course, the CVEs data about memory safety, well, those are true. And they are a real problem. But with a reasonably good use of C++ those would be much, much, much lower than they have been so far.
I wrote a longer post that has similar themes. I fully agree. The system encourages fast work and true believers. I think a big part is we try to run academics like a business. But it's very different and the goals should never be about direct profits. We often ask if our metrics make sense, but we fail to ask if there's easy ways to hack these same metrics.
How does a flat head help you to trade? They obviously flattened their heads in order to be able to squeeze through narrower cracks. At least that's my engineer's interpretation.
Sorry about that. I saw the title, didn't know what CRDT meant, and clicked through to the document specifically to find out, not particularly wanting to read the article. I was then scan-reading and missed it. I must say in my defense, though, that the convention is to define an acronym when it's first used, excluding the title, and the definition is only at the fourth use excluding the title and first section heading.
> For a while I really wanted to be a Bedouin. In the end it just didn’t seem to be realistic. I ended up getting a job like everyone else. It just didn’t seem right.

It could have worked. Travelers normally suck all support and benefits government provides and live relatively care free life.
Presumably it will reject it with a helpful message like "no"?

I think that's the main disadvantage of these types. It's now no longer a decidable system with (usually) easy to understand error messages. You're in the realm of formal verification and SMT solvers where the only error message is "didn't work; try something else".

Probably still good but I think it's important to be aware of the downsides.
I am familiar with both Python and its typing, and Rust. Obviously, Rust has ADTs, which open up a whole new class of types. However, I wouldn't call Python's type system weak! It's still under very active development, but making full use of it (i.e., type annotations) and the strictest settings in mypy makes for a very powerful combination. I've never felt the system was too weak; if anything, I was.

There's type narrowing, warnings for not awaiting Awaitables, generics, protocols/interfaces, even whole function signatures can be lifted into the type system (ParamSpec). Dictionaries can be turned into typed versions as well, which is quite powerful.

By default, it's weaker, as it's optional. Rust's isn't optional. But start a greenfield project with type annotations and you won't be disappointed, I hope. Features like ADTs will still be absent, but I feel that's an orthogonal issue to type safety etc.
I need something like this on my Windows 11 work laptop :(
There are a litany of benefits to Rust that include, but are not limited to:

- Cargo and the general ecosystem

- The relative ease of integrating with just about any other system

- The ability to just build a binary rather than dealing with bundling interpreted languages (like with general Python/Ruby/JS/etc)

See my other comment in this thread for why I consider that "higher overhead" to be meaningless for general applications.
Or just put on blanks.
I remember the Amiga let me customize the format with some tools. One could format more tracks than the specification to fill 900+ kB on a DD floppy beyond the initial 880 kB Amiga standard format. Gave important bragging rights when put against 720 kB PC plebs. Some games used it for copy protection i.e. copy protection on track 80+ https://eab.abime.net/showthread.php?t=101343 Of course, X-Copy and others knew and copied extra tracks.

Another related article to this: http://www.trevormarshall.com/byte_articles/byte19.htm
> No, it's not fine. Legally, maybe, but not morally fine. I don't understand how everyone is ok with this system which seems to be selecting for the worst humans.

Wait. If you invest your money into something, do you not expect a return?
I don’t need 8k for movies and games but I want it for text
It's British. In Britain 6 episodes is a series ;)
Bitter? No. Old? Getting there. Yelling at clouds? Not even once, even though live in Oregon.

What's my complaint? Not really a complaint but when you realize that National Geographic is owned by Disney and DreamWorks used to be under Disney's umbrella, it's not a big stretch that there may be people at DreamWorks who have connections at Disney and can get a story idea planted. I'm not even sure that's cynicism. I think it's just an understanding of how the world often works.
https://archive.is/PX1ZN
> as Lithuanian is one of the most well preserved languages in Europe

Just to elaborate on the confusing phrasing here... Lithuanian, among PIE languages, is regarded by linguists as having preserved the most archaic features of PIE. So it basically resembles the first branches of PIE (like Sanskrit, but more Proto-Balto-Slavic) more than any other modern PIE language today. So as linguists trace back systematic transformations from other Proto-Balto-Slavic derived languages back to their root words, it resembles Lithuanian more. Btw, I'm not a linguist. I just worked really hard for a 4.0 GPA, even for electives.
Media or research? These two are very different. Media may sell you canvas bags and paper straws, making you feel good with stories driven from big oil about your personal responsibilities. Climate science on the other hand is well studied and well replicated with lots of validation. But that doesn't mean media won't distort what a work actually says. These things are very different but many confuse the two. Just because you get a false story doesn't mean the scientists told that false story. Never make this mistake.
It's a shame Microsoft slowly let it die instead of straight-up announcing they're discontinuing MonoDevelop/moving to "VS for Mac". That way, maybe a community maintaining the code would have sprung up. Now anyone wanting to revive the project has a lot of work to up front, starting with "what's the last commit that builds?".

There is DotDevelop, a later fork, but doesn't seem too lively or stable. SharpDevelop died too, so maybe the issue is just adapting to the changes made to .NET with .NET Core.
Maybe try https://github.com/langfuse/langfuse

It was recently shared on HN
Why? Looks like they're doing realtime network monitoring for security purposes. Sounds like a high performance application to me. Haskell has a reputation for being slow, but the proof is in the pudding - and what's being asserted is that a stronger type system enables better optimization.
One thing that isn't covered is that 3.5" discs (and presumably 3" as well) actually do still have an index pulse, even though there's no index hole. The metal disc attached to the centre of the disc is keyed (the rectangular hole offset from the centre), so the drive generates the index pulse from the position of the spindle, rather than using an optical sensor to read the disc.
Keep practicing! When I switched to KA2 I could not type with the same speed for months. I've also decided to switch from QWERTY to Colemak at the same time - it did not improve the situation.

But I am fine now, have a KA2 @work, Model 100 @home and have no problems switching between them whatsoever on a daily basis. I've also ordered Glove80 and I am sure it will be fine. What I have some problems with, are those rare occasions where I travel and have to use my notebook's keyboard. Everything - staggered layout, lack of thumb cluster, no split, scissor switches - is just a source of huge discomfort.
Leaderless protocols exist in the literature (EPaxos, Caesar, Tempo, ...). These systems usually have a "leader" per transaction, but the leader role is uncontested in normal operation, as it is self-declared by the coordinator of the transaction, so an election only takes place if the coordinator of that transaction fails for whatever reason. Multiple leaders may exist concurrently for any given datum/key the operation involves.

Cassandra is currently developing a leaderless protocol in this vein called Accord. In fact, Cassandra is already using a leaderless protocol for its LWTs; an optimised variant of classic (single-decree) Paxos, but this has significant overheads when competing transactions are declared for the same key at the same time.
> academic PL research has diverged significantly from the kinds of problems people are really facing

Was it ever not?
High Quality 3D Scene Generation from 2D Source, in Realtime
Researchers have developed a fascinating method for generating high-quality 3D scenes in real-time from 2D images. This technique, called Gaussian Splatting, leverages Neural Radiance Fields (NeRFs) and machine learning to synthesize complex scenes and views. Unlike traditional photogrammetry, NeRFs require less source material and can generate scenes much faster. The method strikes a balance between speed and quality, resulting in impressive results. This advancement in 3D scene generation has the potential to revolutionize various fields, and the research paper provides in-depth details for those interested.
I worked on the Ulysse Nardin Chairman phone, AMA. (I'll only answer things that won't get me into legal trouble)
It depends on the use-case. Also with Rust, unlike Swift for instance, you only put behind an Arc what needs to be, whereas in a managed language you pay the GC overhead for the entirety of your objects.