skysight-inc/HackerNews huggingface dataset:
The one thing that makes sick to my stomach is that all around Europe there are criminals committing actual crimes and getting a slap on the wrist from heavily politicized judges. There have been rapists freed because "in their culture it's different" (these are documented facts: it happened in several countries, more than once... For example in the UK because an 18 y/o muslim raped a teenager after his religious teacher taught him that "women are worthless" the judge relaxed him).

It's not about protecting the children. They actually love it when children and teenagers are sexually assaulted: that gives more fuel to put in place a totalitarian state, using the pretext of protecting the kids.

It's the same everywhere. In France many crimes are committed by people Macron promised to deport: illegal migrants already caught for a crime. He said, before being elected, that he'd deport 100% of the illegal migrants committing crimes. Instead of that socialist judges are constantly releasing these dangerous criminals in the street.

But the actual victims? And victims' families? Zero concern. None.

And if a victim dares to fight back and should hurt the illegal migrants: then the whole power of the state falls upon him and he'll get an incredibly harsh sentence.

The world is upside down: politicians do not get to have their communication monitored, victims are sent to jail if they dare to defend themselves.

And why do they want to wage their war on encryption? To fight me. Because I hate the EU I live in and they want to silence me. And all those like me.

The tyranny of the government is a very real thing and anyone longing for more government and more government spending should look deep down in his heart and conscience and wonder if it ever did any good for a country to have ever more government.

Meanwhile people shall hate on the libertarians, calling them names ("ladder pullers"), but I'll tell you this...

Libertarians would never ever vote complete and total surveillance of citizens, while protecting the politicians.

But do not worry: the world you deserve for hating on libertarians is coming to you soon enough.
The market for a personal robot is home healthcare. The robot would ensure you're taking your meds, sleeping on a regular schedule, can cook, do light housekeeping, provide companionship, and even light psychotherapy. Compared to the cost of a nursing home, $40K for such a robot would be a bargain.

With the worldwide aging population, whoever brings that bot to market is going to make a killing.
As I said, terminals are best suited for command line applications; lines of text in, lines of text out. Something that would work on classic ASR-33 or ADM-3A.

Dialog boxes, menus, and views are concepts that are more fitted to GUIs. And as such the right tool these days would be Wayland. For example, you get native keyboard scancode events and XKB keymaps, allowing far better input handling capabilities than any layering of hacks on top ANSI escape codes ever can.

The whole point of terminals is that they are simple, text based, and as such interoperable and standardized. ANSI escape code extensions are decidedly not text nor simple, and often very non-interoperable to varying degrees. As such they are pretty antithetical to the whole idea of terminals.
The laws of math and physics have very little to do with the determinations of the laws of people.

You can’t ban the chemistry of creating alcohol from homegrown grapes but you can ban and enforce against the practice well enough to limit bootlegging. The average person buys from the state regulated dispenser regardless of the possibility of doing otherwise.

The same COULD (uh oh, about to be misread and downvoted into oblivion) be said for cryptography, where bans of consumer friendly and easily available messaging applications would be similar to curbing bootlegging.

Of course the practice would continue for those who are capable but with consequences.

These are issues that must be reconciled. Hiding behind numbers will not work, as we are seeing play out in front of us, so we need constitutional protections.
So how do I prevent iTunes starting anytime I want to quickly listen to a music file.
Its super annoying since it takes a while, pop ups, and i have to right click to close it. Preview doesn't work for some reason in my system. And i just want to play the track for a couple seconds to know what it is, then move on to the next one to find what I'm looking for. Itynes takes like a minute. And I hate it when apps ignore the x button from closing them.
EVs don't do that, regen braking does that. Regen braking can be fitted to hybrid or ICE cars.
IDK there are powerful people in society aside from politicians that can influence public opinion too.
re: Ken and the ceo -- Ken is desperate for people not to understand Ken is an idiot. The article even points out everyone at Sierra told him not to do it.
Tasmania was already the site of the modern Western worlds first genocide - an event which went on to inspire many more attempted genocides by Western powers, including some of the worst we have seen so far.

You want to bring more suffering and misery to that part of the world?

This is imperialist thinking. Please try to understand the harm you are doing to the world by proferring this view, even in jest. The idea that you can just 'take' an island to solve some imperial problem is heinous.

If you can just 'take' Tasmania for the hell of it, why not just 'give' Taiwan to China, and end the issue entirely? (/s) By 'taking' Tasmania, you are behaving no better than the perceived view of China in 'taking' Taiwan.
I have my lid open with my externals, I never seen my monitor alone fail to wake, but sometimes all displays refuse to turn on, even the laptop built in. Doesn't happen every time, but maybe 1/10 tries
Abusing url handling in iTerm2 and Hyper for code execution
At an OS level its kind of a sad state of affairs, even on tiny devices the goto solution is an RTOS with threads (they aren't cheap memory or latency wise!)

If you look at what things like RTIC and embassy are doing I have to say its pretty appealing. Make programming the interrupt state machines a little nicer with async rust, and in RTIC's case without a chance of deadlocks.

That's pretty stellar, and at a footprint and memory usage that is far lower than even the smallest RTOS can muster.
You keep using this term "toxic masculinity". I don't think it means what you think it means.

Or perhaps you also think only men are brave enough to go to airplane bars (or to untie their belt or stand from their seat during a flight even when it's not "absolutely necessary"?)
Mature Optimization Handbook (2013)
I've been flying for a long time. It's only in the last decade that I've noticed the specific language of "keep your seatbelt fastened even if the light turns off". It's always been a "soft" suggestion, but it's becoming stronger, and repeated. The ANA flight crew in particular were quite adamant about it.

This may just be me becoming more aware of it, but, if so, I'm also becoming more aware of more passengers actually heeding the advice. I remember, not that long ago, most people removing their seatbelts as soon as the light went out. Not so common now.
PHEV batteries are still pretty small. 14kWh in the Prius Prime for example. This will power an average US house for about 12 hours.
So based on that human judgment, no "similar" voice to a public figure can be used in a product/service/demo/ad etc. without that person's consent. What's next? Banning similar people from appearing in demos? Banning particular musical notes from being present in songs because someone else played that note in a song?

As long as it's not literally her voice (or a model trained directly on her voice) they should have rights to do anything they want.
I'd be curious to know if this is a fair comparison. A brief search revealed little.

I can see either side of the argument, and probably the result would change based on bounding conditions; for instance, how many more people have 'cameras' in their pocket today compared to 20 years ago?

And a lot of chemicals in photo processing are reused over and over to develop rolls of film – maybe it's more efficient to have one central lab processing photos than a billion phone batteries going into landfill every year?
we are in need of a good 2D strategy game such as Advance Wars or Fire Emblem that can be played with infinite variations
https://en.wikipedia.org/wiki/APS-C
> where we as an industry made much better choices in the 90s about how we write distributed software.

Erlang is a nice piece of software.

However, let us not dismiss the massive progress the world of distributed software has made since 1990s _not_ involving Erlang too.

Look at the scale at which we _reliably_ access video, audio, email, messaging, e-commerce/trading on distributed systems around the world ! At high reliability too ! Google, Facebook, Amazon, Netflix, Microsoft, NYSE/NASDAQ, ... -- Imagine the millions or even billions of computer systems working, cooperating in various private and public "clouds".

Apart from a few prominent systems here and there (e.g. erlang at WhatsApp), most of these systems _DONT_ use erlang. For various reasons Erlang has _not_ been chosen by thousands of software architects when they choose to build their next distributed system. Even though erlang lets us build a distributed system with lots of properties out-of-the box easily, let's talk about some failings of Erlang:

- Erlang is not statically typed language unlike Java, Rust, C/C++ etc. This means an erlang compiler cannot create code that will run as fast as the aforementioned languages. The compiler simply just does not have that much information available during compile time

- Not being statically typed also makes it a bit more difficult to refactor the codebase. Would you be able to refactor a 1 million line Rust code base more easily or a 100,000 line erlang code base (even if you have used Dialyzer). My money is on Rust.

- Not being statically typed also means that you cannot verify or mathematically prove properties about your system using various techniques as easily

TL;DR -- A small team can build a highly capable system on erlang quite easily in 2024. That small team would probbly take longer if they used Rust/C++/Java because those languages are more low level and take more time for development. But if you can throw some $$ on the project, in the long run a system built in Rust/C++/JVM can run more efficiently (and be maintained more easily) on a fewer machines using specialized code written in Rust/C++/Java etc. In other words it's not everyday you need to build a distributed system -- when you do, it makes sense to specialize and build it on a technology stack that may be a bit lower-level and statically typed.

This comment is already too long enough.

I like Erlang, it has some nice properties but when building distributed systems other technology stacks can also offer some other great advantages too.
I'm guessing for when you want to use these in drawers.
It's a pretty amazing combination of greed and stupidity.

> “They hated it,” he remembers of the board’s reaction. “Because we were on a roll. We were unstoppable at that point.” If it was an acquisition where Sierra would retain control, that’d be one thing, but a merger with three major developers under a parent with no software experience? "It was beyond bad inside Sierra."

Fundamentally, dude took stock. Which, unlike cash, made him and the shareholders dependent on ongoing competent execution, from a coupon company that was going to merge multiple software companies and magically continue shipping excellent software. When people asked what expertise does a coupon company have at shipping multiple types of software, it turns out the real answer was their expertise was selling to greedy fools. Pretty good expertise!
Similar experience for me with my mom. I set her up with a desktop machine running Pop_OS! with automatic updates. I did some minor hackery to get Windows' FreeCell working on it because she cares a lot about that.

I installed tailscale for remote support, but haven't had cause to use it.

In general it's working fantastically.

The only issue is that the USB WiFi adapter drops out rather frequently. So my one hardware concession will be to replace it with one known to be more reliable under Linux. [0]

[0] I know sometimes this can be fixed by choosing a more appropriate driver and/or Bluetooth device settings, but it's not something on which I want to spend a lot of time or headspace.
i’m sorry, i just don’t understand what you’re trying to say. you’re happy that the leading AI firm is full of shit despite promises to the opposite? what makes you happy about that?
How do you connect racism to people following their own personal vision? Wouldn't that imply that all human phenomena result from individuals pursuing their personal visions?
Some pros, some cons. It can exacerbate power imbalances; Google can afford to be on the hook for a $20M legal team, but you probably can't.
As with many other variable-length integer encodings, its efficiency really depends on the expected input distribution. One glaring issue in this regard is that its 2-byte encoding is rather wasted: only 6.25% out of all possible encodings are useful. This can be possibly fixed by making the 2-byte encoding represent 240..495 instead of 0..255. You can even make use of some bits from the first byte, so that for example the sequence goes like: 0=00 1=01 2=02 .. BF=BF C0=C0C0 C1=C0C1 .. 30FF=F0FF 3100=F13100 .. (all in hex).

A radically different design, used by for example 7z, is also possible if you put all continuation bits into the first byte. For example, instead of having `1xxxxxxx 1yyyyyyy 0zzzzzzz` for 3-byte encoding, use `110xxxxx yyyyyyyy zzzzzzzz`. This is essentially as compact as more common VLQ and LEB128 encodings, but you can determine the length of the whole sequence from the first byte alone! Unfortunately this is less suitable for integers larger than 64 bits, because then you run out of bits in the first byte. But it ends up with a rather elegant encoding for 64-bit integers, where `11111110` indicates 7 bytes and `11111111` indicates 8 bytes with no additional 0 bit needed.

> An afternoon of web searching has failed to uncover a prior name for this particular encoding, so I'm going to name it vu128 and describe it below. If any reader knows of prior art, please send it my way.

I don't know if it has other names, but a similar encoding can be seen from X.690 [1] and the "additional information" bit field of CBOR [2].

[1] https://en.wikipedia.org/wiki/X.690#Length_octets

[2] https://www.rfc-editor.org/rfc/rfc8949.html#section-3
Woah! They copied the excellent hexdocs format, this is great.

https://hexdocs.pm/nanoid/readme.html
Using ChatGPT to generate unit tests works great almost out of the box, but I guess this system solves the remaining 5% to make it fully automated end-to-end. I believe this will work and help us write better software, given that I have experienced numerous cases where the generated tests (even with inferior models) catch no-so-obvious bugs.
Code generation should be relatively straightforward with language model. Start with a problem description and let the LLM generate the code. It should be fairly simple to ask for a proof of correctness for the generated code, then verify that proof (for instance by creating property-based tests), and finally ask for a human-readable summary of the proof. Pass this to human code review and you have a pretty good code generation machine. Failure at any step can simply lead to another iteration.

The thing is: SE doesn't work like this anymore. People aren't used to formalized requirements and take 99% just for granted. (Which web developer really takes network errors into account nowadays?).

With "AI" we might have the tools we need to really solve the software crisis.
The point is, during the day while you’re at work your solar panels have nowhere to send their electricity.
Merci for sharing this tragic part of French history.
I wished budgets on such project included the dismantling of it at the end.
> To give you an idea of how much 1985 was a different era: there were no GPS satellites

No publically available GPS satellites. Wiki says first launch was '78.
Yes, see wikipedia:

https://en.wikipedia.org/wiki/Axolotl
Beware technology that makes us less human
I was approached twice to work for his blockchain business. Recruiters sounded surprised and offended when I told them I would not work for someone who is suing other devs.
nobody is going to get rid of their phone though... they're just going to have a phone and a disposable camera
> to create some form of data-driven astrology

Polygraphs are still heavily used in US even though everyone know it's anti-scientific bullshit.
I stopped using anki because the stuff I chosen to remember and study are often of no applicable value or they are of use but does very little toward developing the skills I want.

I have no doubt that spaced repetition is a biological reality in how our memories work but I haven't found a way to make it resonate for me.
Will it also permanently delete that silly U2 album that keeps coming up too?
I generally agree but there are two problems:

1. You're writing C++. You've really lost half the battle laready :) and

2. Writing correct templated code is difficult and should generally be reserved for when you're writing a library; and

3. For complicatred types like this, one should strive to increase readability by using type aliases, assuming your language supports it (eg C++ and Hack do). It's not always possible.
This behavior is reflected in car attitudes too. Many Japanese drive with a detached seatbelt.
Not even the presence of children changes this calculus.
Perhaps it is stumbling over the question of whether its creators are good people.
A better analogy is probably having a fire extinguisher in the kitchen.

(Because instead of implying that the safety device is absurd, it implies that some people ignore the obvious)
Show HN: JocondeAI – AI Image Generator for Visuals
Hello HN!

I'm excited to introduce JocondeAI, a simple yet powerful AI image generator that creates stunning visuals in seconds.

Key Features:

High Quality: Generates high-resolution images effortlessly.
Customization: Prompt offers a variety of options to personalize styles and themes.
User-Friendly: Designed with an intuitive interface for easy use.
Test it for free: https://jocondeai.com/

I'd love to get your feedback and suggestions. Feel free to ask questions or share your ideas to improve JocondeAI.

Thanks for your time and interest!
> SEIS made it almost a no-brainer

and it still should, as I understand it. On a £100k investment that the business loses all of, the investor gets £75k (£50k tax relief + £25k-ish loss relief) back or something ridiculous, don't they? Makes me wonder how this hasn't made UK capital more readily flow
It seems to me that you may be making a mistake in assuming these counties do no in fact have their priorities straight, only that those priorities do not align with most people's interests.

The purpose of a system is what it does, not what it consistently and persistently fails to do.

Far too long and far too much, people have assumed a good will of our governments because we have intenionlaly been conditioned to accept with blind faith that "democracy" is a universal "good", never asking oneself why the tiny psychopathic ruling class would be such vehement proponents and rabid advocates of "Our Democracy"™, a supposed rule by majority. It appears that not everyone gets as suspicious of things that contain inherent fundamental contradictions.
And the link to a logic course somehow proves you right for saying "EVs do nothing to reduce particulate matter pollution from tires and breaks"?

Dude, you just pulled the weird-ass argument about "that's why I used a conjuction" in a hail Mary attempt to pretend you already knew about them reducing break pollution.

As if any person who actually knew EVs reduce particulate matter pollution from breaks would ever say: "EVs do nothing to reduce particulate matter pollution from tires and breaks" - implying they meant "they don't reduce BOTH" all along.
While Gifski is fantastic, I'd really like to know what kind of tech https://gifs.com uses. Their GIFs are really high quality and small in size.

I thought they were using Gifski but I'm not sure about it.
that's a good point! i wondered about that, but i don't have the chip yet, so i checked the datasheet. the datasheet lists a cycle count for each instruction, and as i said, most instructions are 1 cycle

on the other hand, something like a 32-bit multiplication or a floating-point subtraction is going to cost a lot of instructions, if you can afford it at all
I've tried an absurd amount of video-to-gif tools and Gifski somehow is orders of magnitude better quality than all of them
I use an Instax camera (the Fuji version of Polaroid), too. However, I do not see it as any kind of protest. I just really like the way it works (instant photos? magic!).

However, the refills are expensive and the camera itself is very rudimentary (manual focus, limited control). OTOH, thanks to the simplicity, it is very easy to take apart and fix.
You're effectively forced to have a smartphone. It pisses me off, because aside from the privacy aspect, it marganalises a lot of people. As with many things, how true this is depends on where you are. But many restaurants refuse to hand out menus, many places require mobile payments, gyms require apps for access, etc.
The demo shows making a game with unlicensed Star Wars IP, I don't think they care about copyright violations.
No. I'm 53 and I didn't watch anything about that flight. I wasn't watching much TV at that stage of my life.
You'll need to excuse the Washington Post Style section, which exists to explain the outside world to sheltered Boomers, even if it means vomiting up 2,000 words about an anecdote to make it look like a trend.
I couldn’t take more than 10s of that. It’s so cringey and for some reason trying to be sexy? Like why would I want a bot to flirt with me while I’m trying to get information?
So strange, I get "Access Denied"
The BIM addon entails quite some features:
- It allows you to share your construction 3D models as IFC models (a standard of openBIM) with the rest of your team. Everyone on a project suddenly has access without having to pay crazy license fees to Autodesk etc. You simply view the models right in the browser.
- Everyone can create and comment on issues within the 3D models. Issues can be imported and exported via the BCF format, another openBIM standard.
- There is add-in for Autodesk Revit, so that you can fix issues reported in OpenProject browser based IFC viewer straight away in the 3D model authoring tool.
There are too many stories of true inventors not getting the credit or notoriety that they deserve. The things that our government did in Vietnam and WWII in Asia are shocking.
I wrote a poem inspired by these images when I was 17 (over a decade ago!) which won second prize in a national competition. Seeing them again here takes me back.
Recreating Nanite: Mesh shader time
If you read what I said it was nothing about "not following rules" - what rules did you mean?

And thanks for insulting me when it seems to be an issue with your reading comprehension.
I've used this for years and it's the best out there. Definitely use it for converting videos for Google Slides and such.

But it's such a travesty that we're in 2024 and still using GIFs in place of videos. I guess it's not necessary on the web directly anymore, but so many other platforms, like Google, support GIFs but not videos. So we're all stuck encoding into an insanely space/cpu inefficient format just to get something animating.
IANAL, but – I think it's most likely to be an infringement on her right of publicity (i.e. the right to control the commercial value of your name, likeness, etc.)

She doesn't have to own anything to claim this right, if the value of her voice is recognizable.