skysight-inc/HackerNews huggingface dataset:
LINQ is simple, but it represents a way of thinking about computation that is wildly different from what has historically been available on popular programming languages, and interacts poorly with how most people are taught to program.

I see the same thing when teaching people to program for Apache Spark (which took inspiration from DryadLINQ). They keep wanting to do things in an imperative way. It typically results in unnecessarily complicated code, and it always interacts terribly with the computational model. But it's also the way they've been conditioned to think over years or decades, and, from what I've seen, is often so deeply baked into their thought process that doing it any other way is, at best, deeply uncomfortable.
>> Many mild hybrid cars use a 48V system for the motor.

Except they have a 12v solenoid to engage/disengage the drive voltage in the event of a crash, which is why if you leave your lights on you might need a 12v "jump" even if the drive battery is fully charged.
Gen Zers who work remotely are 'probably not going to become CEOs' says NYU Prof
It's not black or white. Stealing food from Walmart so your kids have the extra they need to grow is very honorable in my mind. It may feel shameful but it's honorable to me.
When I read about Itanium and iAPX 432, I can't help but think that Intel _isn't good at what they do_ and just lucked into he PC market by being cheap, and then riding to coattails of the Windows monopoly.

I can't wait for ARM to eat their lunch. And dinner.
> I'm a big fan of both, but using a Robert Heinlein word to name something you say is based on a Douglas Adams idea is weird.

This doesn't have anything to do with your point. It's just that I see people call things "weird" all the time on this forum. The way you've framed it comes off as a criticism, but is something being weird a bad thing?
this sounds exciting, but I wonder. How closely linked is Elmish to Elm?

In theory Elm is just such a fascinating project... if it was not held back by the people developing it.
Last updated 7 years ago. Instantly crashes on Android 12. No longer on F-Droid. Why is this posted?
Yeah, best argument I can come up with is that the multiplication over the zero ring minus 0 does not form a group. But you'd need to modify the usual definition of a field for this to look natural.

There is quite a lot of research on a zero field, which shows up sometimes (never as a conceret object, but more like A_p is to the field of p elements what A_0 is to the zero field). Apparently you can't just use the zero ring, though the reasons why are beyond my pay-grade.
If you take some basic precautions - disable interrupting the boot process, serial console, etc. then bypassing that requires significant effort. As an attacker you need to know the versions of the software working on the server, know some exploit and then have the experise to use it.

For example I know that the police in my country use off the shelf disk cloning devices and then some basic forensics software for analyzing the disk image. This can be done by an average computer technician, and such a TPM scheme would totally prevent them from extracting data. Of course for bigger cases they can invest some more effort, but they would have to be sure that there is some important data there to justify the cost.
> ... And that's all AI is asking ...

No, the AI itself isn't asking anything because it's not a sentient being capable of rational, independent thought. The people making the AIs are asking everyone else to blindly believe that using the word "learning" a bunch makes a computer and a human equivalent entities.

> Who cares?

Quite a lot of people, as can be shown in literally any discussion where AI comes up.

> Artificial intelligences should have as much access to reading material as any human.

Why? Other than AI creators wanting to make infinite money by generating spam en-masse, of course.
its ironic that the best anti-piracy feature the "content industry" has going for them wasn't even developed by them, just the simple PITA of self hosting. From setting up a VPN, to finding torrents, to using a NAS, to setting up plex/jellyfin, to having codec issues on players, to annoying subtitles/dubs, to shitty interfaces on some protocols (dlna comes to mind), to difficulty in ripping blu-ray/DVD, I can see how an average (non-techie) family doesn't want to mess around with this shit and just pay for the content.
The idea is good, but hasn't this project been dead for 6 years?
Being cheap can ruin your life. Stop it, get some help.
TPM/measured boot can provide proof that a DRM stack is in place.
As I have mentioned, in the logic systems with 3 or more discrete values of truth (e.g. false, unknown and true, or false, unlikely, unknown, likely and true) and also in the logic systems with a continuous range of truth values (e.g. those based on probabilities), to the base logic functions AND, OR and NOT, correspond the base logic functions minimum, maximum and inversion a.k.a. reflection functions (the last may be e.g. integer negation when the truth values are symmetric around zero, or it may be e.g. 1-x when the truth values are between 0 and 1).

A set with minimum and maximum operations has a special algebraic structure named distributive lattice, which is a structure as useful and frequently encountered as structures like the algebraic groups and rings that characterize addition-like and multiplication-like operations.
Why is it modeled after one book but named after a term coined by a totally different book? I don’t recall “grok” ever being used in HHGttG.
You can't describe, in vague terms, what you did on your NDA-ed projects? I don't believe it.
EV battery maker ONE raises $300M, now valued at $1.2B
i plan to cancel too after my free subscription period expires.
Any information exchange erodes culture. Movies, music, academia, anything.

But I think that’s a good thing. Other people feel differently and want to preserve small patches of “pure” cultures, but I think the world is better and richer when hugely diverse cultures are diffused widely.
Rice cooking is kind of complex, because you should boil away most water and not cook any longer, and you are not really able to inspect the level of water.

20 minutes works in your setup, but will it work on different stove with different power levels, in a pot with different geometry, or with a different kind of rice?

Rice cooker solves that issue with a simple feedback.
I have a midrange Zojirushi rice cooker, a Vermicular Musui Kamado cast iron induction cooker, and a Kamado-san double-lid donabe rice cooker, all from Japan.

The Zojirushi makes respectable rice with minimal effort, as in we're about to walk the dog but we need to set up rice for dinner.

The Musui Kamado is a dramatic upgrade over an Instant Pot for every use except pressure cooking, for which we prefer a stovetop Fissler pressure cooker. Carefully following directions, it makes better rice than the Zojirushi. We use it whenever we want a feedback loop for fixed temperature, not unattended flame, such as cooking beans or stews. For tacos, I have to remember to transfer the cooked nixtamal corn for fresh masa, in time for my wife to start beans.

The Kamado-san double-lid donabe rice cooker takes the most care, and makes in my opinion the best rice, with a controllable bit of scorch as desired.

At home, out of expediency we use the Zojirushi to make our rice. I find myself avoiding meals that involve rice, out of boredom. In my work apartment, I haven't touched the Zojirushi or Musui Kamado for rice since adopting the Kamado-san donabe, and I look forward to rice.

If all sushi bar rice tastes the same to you, stick to the Zojirushi. If only food at the limits of your abilities captivates you, get a Kamado-san donabe. The Musui Kamado is the most versatile compromise. There's no novel physics here; its edge over both a Zojirushi and an Instant Pot can be explained by its precision-machined cast iron pot, of a better quality than Le Creuset or Staub (I have all three).

https://www.vermicular.us/shop/musui-kamado

https://toirokitchen.com/collections/unique-style-iga-yaki-d...
I also know Americans who go by their middle names because everybody in the family has the same first name, with the first name turned into an initial before their middle name. Usually software can handle this by entering "J Bob" in the first name field, but not always. Sometimes software asks for first name and middle name separately, and then you know you're going to have trouble because another system thinks "J Bob" is your first name and the two won't match.

I think a single field for the entire name would be ideal, with an optional second field for "how should we address you?" so that the software doesn't have to play games with asking gender and breaking out the last name to fill out a form letter with "Dear Mr. Smith, ..."
This isn't my field at all, so this might be silly.

I was thinking about some weird activation function like say

0 for x < 0.5
0.5 for x in [0.5, 1]
0.1x + 1 for x > 1

While it is piece-wise differentiable, similar to ReLU, I'm guessing regular backpropagation would have would struggle with it.

My probably silly thought was, what if you used a smoothed version for computing the differentials for the backpropagation step, while keeping the discontinuous function for actual evaluation? My thought was this would make backprop sensitive to the step changes in the function, while allowing for discontinuous activation.

Of course this example function is just something random without any further thought, so probably not a useful one in actual usage.
LLMs are incredibly bad at this task and ones like ChatGPT lack the labeled training data necessary to do it. Spam has been classified with ML models at scale for at least 15 years. Spam quality is totally determined by freshness. What you want to know is whether people marked this as spam in the last few seconds, not whether someone labeled similar content as spam in 2019. Finally, the key signals are not present in LLM training sets, since message content is virtually irrelevant to spam classification.
Did you mean strong crpyto? String crypto makes no sense in the context.
That’s not true either. Coq’s logic is significantly different to HoL.
Yup, bold is mostly used stylistically for headings, titles, stuff like that. (And sometimes as part of link styling, especially with a lighter link color.)

Virtually the only time it's used within text is in a textbook-type situation, where the first use of key terms is in bold, but subsequent usage isn't. Which isn't helpful/relevant if you're copying a passage from it -- just because it was the first usage in that book, doesn't mean it's the first usage in your own document.

And underlining doesn't really exist typographically except for links. It's always been the handwriting/typewriter substitute for italics. It has no established meaning whatsoever -- any non-link usage of it is idiosyncratic, which is usually not something you'd want to preserve.
You might also move to something other than JSON if parsing it is a significant part of your workload.
> language, culture, history, and geographical proximity

English, the language of England? European culture, with a heavy and detectable German tradition? Population with a history of maybe a century or so in America and millennia of habitation mainly on the Eurasian landmass + Africa?

It probably took a lot of propaganda to forge an independent US identity out of that and make it care enough about a small number of deaths to take it personally instead of just interpreting it as more-or-less-the-same-people squabbling violently. The only thing your argument that it occurred naturally has going for it is geography - and the US is damn huge so I don't think that is persuasive.

I mean, we all love the US sense of togetherness. But it took (and takes) a lot of work to make it happen and it is purposefully nurtured and backed up by a lot of organised propaganda.
Bit odd to shorten the release cycle and end up with that outcome
Scientists create artificial protein that can degrade PET plastics in bottles
It was I who took the site down playing with his black hole optical simulations in the Tucson airport.
In iOS I hate that Messages pastes in links from Wikipedia. To get around this, I first paste into an app that doesn’t preserve the links, such as a Web panel or WhatsApp.
Ask HN: Does anyone have a good corups of different Markdown?
Hi, Markdown has taken the world by storm, and can be found all over the place. With so many different parsers, extensions, and flavours it is also bound to spawn a lot of inconsistencies. Of course between the different flavours, but also just through bugs or edge-cases in parsers that users learn to work around. I was wondering if anyone had collected a corpus of markdown, which could be used for analysis, testing new parsers, and other related tasks. I came across https://github.com/tcr/markdown-corpus, which is the biggest corpus I've found, but since it only pulls from GitHub they are all bound to be defined by GH flavoured markdown and its parser.

In case no existing corpus of this kind exists, I've set up one based on the one mentioned above (with a couple extra documents). It can be found here: https://github.com/PMunch/markdown-corpus. Feel free to contribute!
Isn't Typescript gradually typed?
It's entirely possible without OpenAI doing anything else. Design your tasks to be repeatable and small steps, call the OpenAI API and log all requests/responses.

Filter out any bad responses and take a representative sample of the data you have collected from OpenAI,and train a Mistral or Llama2 model with the request/response pairs.

Measure the quality of your model vs OpenAI for the same inputs, and then swap out the model in your workflow once happy with the results.
Voting is immoral too.

If I don't support the potential outcome, how could I justify participating?

Here's a scenario for you:

11 people in a room. They decide to take a majority vote to murder one of the 11 at random. What's your vote? No? What happens in the case you're outvoted? You are now complicit in murder. Vote yes? You are now complicit in murder. Casting your vote is your acknowledgement that the you accept the results. The only moral action is to object, conscientiously and refuse to participate.

Now stand in a room of 300,000,000 people where the end result of your participation is endless evil and murder. Congratulations.
> The user only had to Memory Map the file (or equivalent)

Having done this myself, it's a massive cheat code because your bottleneck is almost always i/o and memory mapped i/o is orders of magnitude faster than sequential calls to read().

But that said it's not always appropriate. You can have gigabytes of JSON to parse, and the JSON might be available over the network, and your service might be running on a small node with limited memory. Memory mapping here adds quite a lot of latency and cost to the system. A very fast streaming JSON decoder is the move here.
In principal it's easy to explain - as long as you have uncensored content on your website, it's going to be blocked. For example, HN is blocked.

If it didn't happen, then it's because you are not big enough.

A few cases:

- FB, Instagram, Reddit, Twitter, Youtube are all blocked: user generated content and without outrageous censorship effort (Douyin has 100k employees dedicated to censor and is top cost center, Weibo 50k IIRC) it is very predictable, just assume such things get blocked.

- Google is blocked. They announced in 2010 they didn't want to censor any more.

- A censored version of Bing is not blocked.

- Dropbox is blocked: the same reason.

- Notably, GitHub is NOT blocked. GitHub pages and Gist are blocked. This is because GitHub does censor repos upon government request, plus that when it was once blocked scientist spent effort and managed to reverse the decision.

- WhatsApp and Signal are blocked. SMS from Signal is also blocked for all +86 numbers so people simply can't register.

- iMessage is not blocked. This is, IMO, an outlier. My guess is it's because Apple + no group chat + incompetence.
The HN title is missing the word "huge", which appears in the article title: "Why OLED monitor burn-in isn’t a huge problem anymore".

The article admits "Yes, burn-in still happens".
> TPM chips are not opensource

I'm using Librem 14 with a TPM chip with exclusively free software.
If your creation plays perfectly ;)
Not defending the UX, it’s trash. But it starts showing you a timer when it’s more certain (usually around the 6-8 minute mark). I switched from a zojirushi to a Tiger from Costco, and it cooks the rice in half the time, but it has the exact same issues since it’s Japanese (separate measurement cups, no timer until it’s almost done) and the seals collect a lot more water than the zojirushi did. The rice comes out better and quicker though. I do think my zojirushi was broken because the rice kept getting worse and worse before I replaced it.
24v is only a little more dangerous than 12v, but so is 48v only a little more than 24v, and 110v only slightly more than 48v. One has to draw a line somewhere. 12v barely penetrates dry skin, and won't do anything across even a cotton shirt. If that is enough for powered windows, why change what isn't broken.

As for first responder training, assume they have none. The first person at a scene will be some rando person reaching in to pull a kid out of a burning car, or it is that kid themselves climbing out of the wreckage.
A new CRISPR cure for sickle cell disease may be coming
Primality is defined for any ring (although some rings have no primes). If you are asking about prime integers, then negative primes are themselves prime. Most of what you know of primality still holds if you add 'up to unit multiples' to all of your theroums.
F# is my go-to language for new backend projects and console apps. You can be as functional as you like, with imperative/mutable/OOP escape hatches available for those rare but unavoidable times you need them
The fastest json lib in Go is the one done by the company behind Tiktok.
I did a project using Avalonia.FuncUI a few years ago, and would highly recommend it. It made GUI development fun again.
Ah, I’m in this boat. My advice: stop trying to force a job. Explore your interests until you find a spark. Talk to a lot of people about what they’re up to. Maybe you want to go on one of their journeys for a bit.
> There are clearly other reasons why nobody is seriously competing with SpaceX.

Such as? Government contracts? A monopoly on aerospace talent? The tremendous lead?

Any company trying to catch up will be starting from behind, without customers, and will have to attract talent. All while SpaceX continues to improve their own tech.

Is there some other reason?
Apple's moving away from them as well, to the detriment of their design edge.

[0] https://www.theverge.com/2023/9/12/23868428/iphone-13-mini-l...
I primarily use the desktop version of Firefox, though I notice very few cookie/signup banners.

> I have it enabled

There are 16 different "Annoyances" filters, but you used a singular pronoun.
the modern propaganda departments like the one in Russia pushes dozen of competing and contradictory stories, debunking it doesn't matter, they print BS faster than what you can analyze to get a few to stick and will point to a different one as you try anyways.
Yes, they are. But that's the software industry, not the food industry.
>are still relying on some aspect of society to some degree

So? It's not like society would dissapear overnight, and those people would be left with no such recourse.

The person asking just asked for some place without taxes and no price on a plot of land you can claim. They didn't say they want to move all of society to that, or that they want to make a point by relying on their own self entirely.
Okay, thank you! I assume all the Bevy examples load for you fine? https://bevyengine.org/examples/Games/alien-cake-addict/
Have we tried periodically charging the hull the repel barnacles?

Or perhaps encourage a beneficial species to grow on the hill that won’t impede water flow (Eg special bacteria)
I've used Czkawka (https://github.com/qarmin/czkawka) because it does Lanczos-based image duplicate detection, which makes it more practical for me.
Zojirushi is among the few brands that have sustained high quality products over a very long period of time, and is now unique in that regard for consumer products. I've owned two zojirushi rice cookers over 20 years and the first remains fully functional. The water boiler is great for dispensing hot water on demand for tea.
Regex can easily defeat [at] type obfuscation.
the obvious solution is to use slurs in your email address
I wrote a small JSON parser in C myself which I called jsoncut.
It just cuts out a certain part of a json file. I deal with large JSON files, but want only to extract and parse certain parts of it. All libraries I tried parse everything, use a lot of RAM and are slow.

Link here, if interested to have a look:
https://github.com/rgex/jsoncut
> No, the AI itself isn't asking anything because it's not a sentient being capable

That is really just your human ego and sense of superiority speaking. Lesser beings might not have the cognitive capabilities you do, but they still should not be discriminated against.

> Quite a lot of people.

A lot of people are racist too. Doesn't make it right.

> Why? Other than AI creators wanting to make infinite money

That's just cynical. There are a lot of people working on AI that have no such motivation.
Somehow he managed to shit on two classic works of sci-fi at once
It's not linked at all, it just uses "The Elm Architecture" as inspiration to recreate the same architecture in F#
Possibly, but it's a bit distressing when it's in your car. Makes you wonder how deep the rot goes.
hol meaning higher order logic (https://en.wikipedia.org/wiki/Higher-order_logic) not the lang of hol prover.
... and not afraid to steal bits from another language.
We can always hope that humans will extinguish themselves in the near future, before that ever comes to pass.

While it may be tragic to everyone involved, it does warm the heart to think that a cataclysm will be fair in that it will exterminate poor and billionaire alike.
There's no link. It's the standard elon move of just throwing classic sci-fi terms at a thing to make it "cool" and "nerdy."
Yeah exactly, they were both being naive about it.
1. I should complain to my parents that you gathered a gang of thugs and sent them to rob me? That doesn't make sense.

2. How about take away the government?

3. Why are you obsessed with guns? Is it because I used the word gun? Feel free to replace the word 'gun' with rocks, sharpened sticks, nuclear weapons, fists, etc.

I get what you're saying "by the way". The weak should be subjugated at the feet of the strong. In your scenario human beings are the "meat and animals" and the government are the epitome of the evolvoled being.
I need to be continuous to be differentiable.

That being said, if it's only discontinuous in a few number of places you could extend the derivative everywhere by taking either the left or the right derivative, and then you'd end up with a gradient being defined everywhere, but not continuous. But then does gradient descent work if the gradient isn't continuous?
The official soundtrack of Houston, TX. The noise is so ubiquitous it is almost noteworthy when you can’t hear it. Paradoxically, the better the neighborhood, the worse the noise.
Any research on if it increases your risk for people who constantly eat?
Ideally the beginning of the 2-day and 4-day weekends would be aligned, so both groups can party on a same evening
It was pretty common with Sourceforge era in the early 2000s. I agree (I think) that there isn't much reason to have one.
Electric leaf blowers are much quieter and don’t stink.