skysight-inc/HackerNews huggingface dataset:
Show HN: QWANJI
Hey HN! I've built this bit of cuteware (software not solving a problem but just for fun) inspired from the patterns made by swipe typing on mobile devices. To me it seemed like the closest thing to an English version of Kanji and it would be cool to consistently recreate those patterns.

The implementation is vanilla js to keep things simple (and from a bit of framework fatigue)

I'm keen to see how people use qwanji. Any and all feedback welcome!
A lot. It's the same reason amazon doesn't sell servers and instead gives you access to a single instance that everyone pretends is the same but in reality is massively transient.
Visualizing Attention, a Transformer's Heart [video]
The plants get carbon from the atmosphere of course, but retaining organic matter in the soil, which captures that carbon, has other value.

"Soil organic matter significantly improves the soil's capacity to store and supply essential nutrients (such as nitrogen, phosphorus, potassium, calcium and magnesium), and to retain toxic elements. It allows the soil to cope with changes in soil acidity, and helps soil minerals to decompose faster."

https://www.google.com/search?q=benefits+of+soil+organic+mat...
Thanks, this is cool, but I find it a bit challenging to get the sound I'm looking for if I can't provide artist names to sample. Not that I want to use that artist in the track, but how do I describe wanting a track that mixes the jazz sounds of Frank Sinatra with the ambient beats of Thievery Corporation.

Is this a copyright issue? Or just that the system doesn't know what it was trained on?
Drag and drop the file into the browser window. (Or hover over the Apple icon in the lower left and click "Load File".) If it's a disk image, it'll mount that; otherwise, it'll be copied to the VM as a file.
Make Your Pandas or Polars DataFrames Interactive with ITables 2.0
I'm not from Australia (in NZ) but I'd expect the usual range of views. However fines are a voluntary payment to usually attract less opposition

Typical limits are here. 100 km/h on most freeways, 100km/h on ones built to higher standards.

https://www.qld.gov.au/transport/safety/rules/speed-limits
> speeding tickets

> drug deals

I can't help but think of how the world changes.

Think of speeding tickets, until the 70's, vast portions of the US did not have a speed limit. This changed during the middle east oil embargo with the introduction of the national 55mph speed limit (under the guise of saving energy). When oil supply stabilized and domestic and foreign oil became plentiful, it was not repealed. Now speeding tickets are common. A huge majority of people have gotten them.

I wonder if the tolerance value for going after a speeding car might become smaller as self-driving cards minimize offenses and ticket revenue drops.

In the same way, "drug deals" have led to civil asset forfeiture, causing lots of out-of-town travelers to give up their property, to the benefit of police departments.

so... today's "speeding tickets" and "drug deals" might become tomorrow's problem for a wider cross-section of the population.
Good question. Not much. If anything, what I'm doing is even harder because I will have multiple sources for the hardware. I have to deal with all of the hardware and data center issues, as well as the customers who rely on us to provide them access.

Good thing that I'm a glutton for punishment.
Light on details.

Would be nice to know how this compares to the death rates at other centers, and who packed the chute.

Maybe some regulation could be helpful to ensure postmortems happen so other divers can learn from the tragedy like with aviation
Previously (3 days ago): https://news.ycombinator.com/item?id=39931228
“It’s amazing how much panic one honest man can spread among a multitude of hypocrites.”

— Thomas Sowell
> megalomaniacal persons with lust for power and disregard of others

I think the problem with these sorts of people is that they are not
actually that smart. Cognitively, as all-rounders, they lack crucial
faculties of imagination, which not ironically are rooted in
compassion, that lead to gross strategic errors.

Landmines and impact grenades tied to a balloon are also "autonomous
weapons". They are indiscriminate. The former are persistent and the
later are ephemeral. The former are also reusable. Within a weapons
taxonomy the most dangerous (for yourself) to manufacture are
persistent, autonomous and reusable. In other words, like a knife in a
fight, there's a very good likelihood your opponent will take it off
you and use it against you. Most IEDs used against British and US
soldiers are made from UXO.

Weapons like drones are a gift to terrorists.

For everything you make, one must imagine it being used on a busy city
shopping street where your own family are.

It's because the megalomaniacs are not actually that smart that they
don't realise taking humans out of the loop is the same as
relinquishing control, which is one step removed from handing control
to the enemy.
Come on, read what you just wrote.

Freedom of broadcast? They're not exactly on state-sponsored TV. What does the government have to do with what shows up on social media?

In a country with actual freedom you'd have riots on the street.
Seth Shostak: First Contact Within 20 Years (2004)
So the doctor gave the best correct general health advice to the patient, AND did the appropriate test, and appropriately reassured the patient regarding the pre-test probability of a good vs bad outcome of the test AND followed up the rare but possible bad test finding appropriately? Would you prefer the doctor give factually incorrect advice in order to avoid upsetting a patient?

It’s interesting that you frame it as “faulting” the patient - if a patient comes in with shortness of breath, should doctors avoid asking patients if they smoke? If they ask a patient about previous surgery, are they blaming the surgeon? If a doctor asks about family or work history, are they criticizing family or work choice respectively?
My bad, gotta fix that one!
> Personal insolvency sucks, but you won't actually loose your home here in Germany

Germany insolvency can take a decade, make getting a flat or even keeping your bank account a challenge and rarely results in debt relief to boot [1].

[1] http://www.privatinsolvenz-hilfe.org/en/german-bankruptcy-la...
Have you looked into whether the maintainers of EFCore.FSharp look for assistance?

It seems there is work in progress on bringing .NET 8 support here https://github.com/efcore/EFCore.FSharp/pull/162
It is the state’s responsibility to intervene when provinces have neglected or are unable to support their people. The % of income a median Canadian has to spend on housing is crisis level.
How cute, he thinks the kebab shop is registered and paying tax LOL
This is pretty much how I feel every time delving into FFTs. Like, I get the concept, but something in my brain just shuts off when it comes to actually trying to grok it. I do however very much appreciate those that have created software where I just provide --input and they handle the rest.
Custom state-of-the-art silicon is ridiculously expensive.

For a minimum 100 wafers = 10k chips, Groq may have paid $100M = $10k/chip purely in amortizing design costs.

Chip design (software + engineer time) and fabrication setup (lithography masks) grow exponentially [1][2] with smaller nodes, e.g., maybe $100M for Groq's current 14nm chips to ~$500M for their planned 4nm tapeout. Once you reach mass production (>>1000 wafers, which have ~150 large chips each), wafers are $10k each. On top of this, it takes ~1 year to design then have prototypes made. (These same issues still exist on older slower nodes, albeit not as bad.)

This could be reduced somewhat if chip design software were cheaper and margins were lower, but maybe 20% of this cost is due to fundamental manufacturing difficulty.

(disclosure: I don't work with recent tech nodes myself; this is my best guess)

[1] https://www.semianalysis.com/p/the-dark-side-of-the-semicond...
[2] https://www.extremetech.com/computing/272096-3nm-process-nod...
It happened in the middle of the transition period between uncontested communist rule and EU's unicorns and rainbows

It didn't. I don't know where you got that idea, it's not borne out by anything reasonable you can read about it. The relevant Bulgarian expression (with an appropriate side of Turkish) is хал хабер си нямаш.
They do, but the gas (which is half CO2, half methane) is contaminated with silicon-containing gases (derived from silicones, including from parchment paper and cosmetics!) If you try to burn the gas in a turbine the silicon coats the combustors and turbine blades with glass.
I tried Wayland (Fedora 39) on two screens and the experience was so terrible and full of bugs I gave up after less than a day. New windows open at random locations and screens no matter what's focused, UI scaling of a window is sometimes wrong for its screen, at least once an hour the screens just go blank for a couple seconds etc.

For me it's definitely not usable yet, let alone the "only choice"

> All of the effort is going into Wayland

Yes, because it's still work in progress. And at some point in the future that effort will have paid off, but that's not now and definitely not a few years ago.
> What is the difference between this and having to sell the cloud access and supporting the people who buy a subscription

Margins.

Pricing for cloud compute is much higher and servicing and management for the provider is much cheaper.

If I sold hardware directly, then I'm often on the hook for support contracts which can get pricy with hardware and distract from shipping future facing product features, as customers who purchase directly have longer upgrade windows due to logistical overhead.
By accounts, this place has a rep. Discussed here a few days ago. https://news.ycombinator.com/item?id=39931228
No. Doesn’t change the facts about the trucks that are widely known by any hedge fund algo or analyst.
Although at the same time, with the plateuing of computer hardware, you don't need to be a Bell Labs or PARC in order to do research. People are doing cutting-edge AI research on their gaming graphics cards. On a developer salary you can command a massive cluster on AWS (for a few minutes to run tests).
> Yes, because it's still work in progress.

And because the X11 maintainers decided that Wayland is the way forward and X11 will simply not get new display features like HDR.
If you look at how people actually write PureScript, which is much like Haskell, but with anonymous records, you can see that they're not actually used 99% of the time.
It means anything that destroys and leads to misery. Hopefully you see that someday.
Thanks! Macroexpanded:

What John von Neumann Did at Los Alamos - https://news.ycombinator.com/item?id=28673376 - Sept 2021 (152 comments)
Speaking from past experience at Guaranteed Rate, management (probably not developers) regrets that experiment. They’ve laid off most of the clojure devs I know of there (I’m sure one or two remain for legacy services.)
28 deaths since 1985 is 39 years. That's less than one death per year.

That doesn't seem bad to someone on the outside. I would expect similar counts (or higher) for other extreme sports like rock climbing, racing and cave diving.
There's this

>The association maintains a database of fatal skydiving incidents on its website and said while last year its members reported making 3.65 million jumps, there were ten reported civilian deaths in US.

So 28 for a single center seems much unless they have an insane amount of jumps over the years
Southwest Boeing 737 lost engine cover during takeoff, FAA is investigating
This blog post is just a rehash of another article with even less information.
Its not Spotify its tiktok and IG reels. People only want to hear the hooks.
That’s… certainly a way of reading this.
Also see: Branston Pickle
not really. There's a difference in how much one needs to keep up with tech trends, because there's a difference in how reliant one is in getting and maintaining a job.

Despite being paid fairly well, it's unlikely that I'll be able to retire early, given the housing market. A massive amount of every dollar I make is going to quickly ballooning rent and attempting to chase an ever-distant target of home ownership.

I cannot afford to "get by just fine". Nor, I imagine, can many of the people in my cohort. Thus, I regularly familiarize myself with whatever it is that's new that offers the possiblity of working less and accomplishing more, because that's about the only place I find I can purchase some down-time for myself. It's certainly not coming in the form of personal equity and retirement.

edit to add: I realize my earlier comment was flippant, and I'm sorry for that. The conversation is better served by engagement and I was being crass.
I find [1]:

> With modern equipment and training methods, fatalities occur in less than 1 per 100,000 cases, and serious injuries requiring hospitalization in less than 2 per 10,000 cases. This puts the assessment of skydiving as a high-risk sport into perspective.

1 in 100k seems pretty bad if you make a hobby or job out of this

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9859333/
This was the question I came to ask. I've been a Wayland avoider because for me there was nothing "broken" to be fixed.

Occasionally, I've enjoying playing around with window management and hacking with WMs, using stuff like this and/or xdotool and wmctrl.

I was curious as to what this might be like in Wayland-land? Do tools like this even exist?
tl,dr: Narrow-band lighting and optical filtering.
Thanks. Wish I could go back in time and rewrite some parts - it's one
of those "needed to write it as a way of thinking" projects. Better to
follow us on the Cybershow now. PM me there and I'l send you a DRM
free ebook if you like.
I don't think I've read a single article about the Voyager missions that wasn't awe inspiring.
I had a Palm Pre, and Treo before that. One problem is that webOS needed resources, and Palm chose limited hardware.

I think webOS could have been the iPhone if Apple didn't exist. I think they could have taken the second spot from Android if had been earlier, open, and released conventional hardware.
Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
I'm curious about formal verification courses like Software Foundations[0] (specifically volume 1 & 2). I'm also curious about formal specification with TLA+[1], which seems less academic-oriented and more relevant to my career pursuits in software dev.

I'll get around to delving into both of these topics eventually just for fun, but I'd like to know what HN thinks of its usefulness beyond intellectual curiosity. I don't remember where, but I've read online comments claiming that TLA+ can really change and improve the way one thinks about software design, and that it's made to be used in regular dev jobs. And I bet there's something to gain from learning how to use Coq, even if I never use it in my day job.

I know this will cause some eyerolls, but I do wonder how this will all fit into a future way of software dev where most of the code is written by AI based on simple pseudocode, as the next form of "high level" programming. There was an interesting discussion about this [2] a few days ago.

[0] https://softwarefoundations.cis.upenn.edu
[1] https://lamport.azurewebsites.net/tla/tla.html
[2] https://news.ycombinator.com/item?id=39934956
It will be interesting to see how many of those, if any, pan out to have a meaningful use at scale. If I remember right, those 700 or so were synthesized in a lab but I don't think we know much beyond that.

We'll see if any of them end up being viable as far as manufacturing and material availability go, and whether they're better replacements for existing tech like batteries. The hope is that we'll have Jarvis inventing a new material for Iron Man's suit, but we could always end up with an endless pile of technically feasible but functionally useless materials.
In many large buildings (schools, etc. in particular), you want the internal fire doors to close to keep the fire from spreading. Of course, exits must be provided for each isolated section.
So this wasn't even fraud on his home insurance, but on car...

https://www.rnz.co.nz/news/national/508570/auckland-annivers...
For reference, I do remember (admittedly mostly from retroactive poking around):

For Windows 95, boot floppies were generally assumed to be needed (El Torito was only invented in late 1994), though the CD was usually used for the main installation.

For Windows 98, boot from CD was widely assumed to work at least on machines that came with it.
This is just wrong, very wrong.
Instead of working remotely for a company that makes software, why not try working locally for those that use software. That's a lot more potential opportunities.

Your qualifications are now phenomenal compared to when you started out.
No barrier to entry. No survival of the fittest. Bootcamps and coddling.
WindowsToGo is just normal windows on a hard drive, just one that’s usb connected.
A teaspoon of Vegemite, eaten rather slowly, took the edge off the worst hangover I've ever had.
You can’t get a mortgage without house insurance.

Things like fire danger risk tend to change after the home is built as new data comes in.

Health insurance isn’t implemented that way, as you acknowledge, exposing folks to exactly that risk.

You seem to be stuck in theoretical. I’m talking about actual behaviors.
> This wasn’t an idealistic pursuit, just banal cost cutting to disarm the nation

Specifically, it was Clinton's SecDef Perry's Last Supper meeting with defense contractors in 93 that destroyed the entire base we had in the US [0]

"I asked [former SecDef] Les [Aspen] to call a meeting of the senior defense industry officials where we had a simple message to them: The first was that the budget was not only down, it was going to go down further. They should not look at it as a little dip here but as a new low plateau and adjust their plans accordingly, and in particular, if that meant they had too much capacity for the amount of business they were going to have, they should understand that we were not going to support that unused overhead. They had to do a scaling down and a consolidation to do that"

It was this Last Supper that caused Boeing, Northrop Grumman, General Dynamics, etc to drastically deteriorate.

I banged my head trying to tell everyone about how our current PPBE system is crap a decadeish ago but no one listened. Now we're doing too little too late.

[0] - https://millercenter.org/the-presidency/presidential-oral-hi...
Minor side point, did anyone else find it odd that the author almost exclusively referred to the subject as "Johnny"?
>Fourier basis

Technically it's a specialized case of the laplace basis, right? I was always surprised that lots of courses jump directly from the (bilateral) fourier transform to the unilateral laplace transform without proper analysis of the most general case that is the bilateral laplace transform: https://en.wikipedia.org/wiki/Two-sided_Laplace_transform
> Smile 3.x Avoided due to licensing

> Smile 3.x is GPL-licensed, which poses some potential conflicts for some end users...The community consensus is converging around moving away from Smile due to the GPL-relicensing issue, focusing instead on Tribuo...

(tribuo is developed by oracle)

It's a really great thing that the java community has a high performance and well accepted (~5x stars than tribuo) ML package that's GPL. CF python where the top two libraries are developed by google and facebook. The GPL protects individual, independent developers.

I don't think it's right to recommend that new users move away from the package because of licensing issues; the fact that it's GPL now is a good thing for everyone except corporate users (probably a great part of readers). The people who might have GPL problems already know themselves when they'll have a problem.
There were others in his league who have been mostly lost in history. When von Neumann first published a description of a stored-program binary computing machine in 1945, he cited only one paper -- which was co-authored by Walter Pitts;

https://nautil.us/the-man-who-tried-to-redeem-the-world-with...
It seems to be a syndication of this post, maybe this renders better for you:
https://www.sciencealert.com/neurons-in-the-brain-appear-to-...

Also maybe best to change the article link to that one.
Curation is the last best hope of intelligent discourse
In the 80s Vegemite used to come in small glass jars with a press-on lid that were designed to be reused as drinking tumblers. It was common to see kitchen cupboards full of those tumblers.
The pricing isn't necessarily much higher. The pricing is set up to amortize the cost of running things over a period of time. If you're only going to use it for a short time, you pay more than someone who commits to a 3 year contract.

It also isn't just the hardware capex, it is everything involved under the covers. Market pricing also factors into that as well. This is something I've struggled with myself quite a bit. I know all of my costs and what I'd like to charge, but because my offering is so brand new, until my competitors announced their pricing, I wasn't sure what the market would tolerate.

Selling hardware directly is hard for exactly what you state though. Service contracts are a pain in the butt. All of this latest AI hardware has high rates of failures too. Up until recently with AMD coming to market with a great offering, the only thing people want any sort of quantity on are nvidia products. Groq probably realized that people buying 1-2 cards at a time, wasn't going to be profitable.
I also have trouble wrapping my head around all of this, and complex numbers, for that matter. Never mind that I'm employing this stuff all the time in GNU Radio.
This reminds me a lot of the writing advice from Jean-luc Doumont’s lecture/workshop 'Clear, accurate, concise writing'.
America actually has a beefy abomination called Beefy Bovrite, which kind of looks like it might be somewhat like Marmite and Vegemite, but sadly is not.
When educated kid/person gets killed in a skydiving accident this is a loss to society at the level of $1-10M. These are effectively taxpayers and caretakers efforts and resources being wasted (public education, etc).

Arguably, the costs should not be borne by the society in that case, it should be the entertainment center responsibility, in the form of the additional insurance costs.

Of course the argument can be made that GA and skydiving were always considered to be semi-military training programs for the general public. In that case the system is just working as intended.
I just want to take a moment and say your website has been a real lifesaver. So many headaches avoided by consulting it!
I use a ~16-year-old Samsung LNA52A550 (52", 1080p) that I spent rather a lot of money on once upon a time.

It has been calibrated for the colors to be as correct as possible. It's from a time before smart TVs. (Heck, it's from a time before LED-backlit TVs -- it's got fluorescent tubes in it.) But it has HDMI-CEC, and it cheerfully outputs both DTS and Dolby Digital on its optical TOSLINK port so as to connect to [cheap!!!, and sometimes even awesome] surround receivers of similar vintage.

If you find a Samsung of that age that hasn't been smashed, it probably won't work reliably as-is: They used bad capacitors in the power supply -- bad enough that they lost a class action lawsuit about that at least once.

(But good caps are cheap, and they're ridiculously easy to swap out on those single-layer PCBs. The only trick is to spend the extra few dollars and replace every single capacitor on the power supply board, and not just the ones that seem to be bad: All of the factory caps will turn bad eventually, which is something I learned the second [and hopefully final] time I took it apart to fix it.)