skysight-inc/HackerNews huggingface dataset:
In my view, prosecuting the bad actors alone will not fix science. Science is by its own nature a community because only a small number of people have the expertise (and university positions) to participate. A healthy scientific discipline and a healthy community are the same thing. Just like the "tough on crime" initiative alone often does not help a problematic community, just punish scientific fraud harshly will not fix the problem. Because the community is small, to catch the bad actors, you will either have insiders policing themselves, or have an non-expert outsiders rendering judgements. It's easy for well-intention-ed policing effort to turn into power struggles.

This is why I think the most effective way is to empower good actors. Ensure open debate, limit the power of individuals, and prevent over concentration of power in a small group. These efforts are harder to implement than you think because they run against our desire to have scientific superstars and celebrities, but I think they will go a long way towards building a healthy community.
Recent and related:

Rewriting Rust - https://news.ycombinator.com/item?id=41654871 - Sept 2024 (385 comments)
Most often #1 is sought after as the prerequisite for achieving #2. And due to the structural factors on the number of positions available, funding available, and supply of new PhDs and postdocs, it's most often a really good idea to avoid #1 these days.
It seems hybrid search is not supported; no filters?
The best thing about Loud is how the promos featured bits of Cryptopsy and Morbid Angel videos that almost never actually showed up on the channel.
If someone raped your wife and set your children on fire, you would probably rethink your stance on evil.
you don't need regulation for a stable durable goods market. income and credit shocks cause turnover of good quality stock in the secondary market.
You can borrow e-books from libraries, but they come with DRM which means that they can manage “loans” and “returns” so they have a nominal number of books to lend out.

Quite a good service actually, called Libby. There are obviously ways to remove the DRM and make just a normal ePub but I’d quite like not to have to do that if I don’t have to.
It would also result in way less profits, so we'd need something truly incredible to happen to see it through.
Similar story: computational biologist, my presentations involved statistics so people would come to me for help, and it often ended in the disappointing news of a null result. I noticed that it always got published anyway at whichever stage of analysis showed "promise." The day I saw someone P-hack their way to the front page of Nature was the day I decided to quit biology.

I still feel that my bio work was far more important than anything I've done since, but over here the work is easier, the wages are much better, and fraud isn't table stakes. Frankly in exchange for those things I'm OK with the work being less important (EDIT: that's not a swipe at software engineering or my niche in it, it's a swipe at a system that is bad at incentives).

Oh, and it turns out that software orgs have exactly the same problem, but they know that the solution is to pay for verification work. Science has to move through a few more stages of grief before it accepts this.
LLM inference is a small task built into some other program you are running, right? Like an office suite with some sentence suggestion feature, probably a good use for an LLM, would be… mostly office suite, with a little LLM inference sprinkled in.

So, the “ASIC” here is probably the CPU with, like, slightly better vector extensions. AVX1024-FP16 or something, haha.
I've read both the Paxos and Raft papers a few times, and hacked on some implementations, but never quite got one over the line to working...

Raft strikes me as a particular set of decisions made within a Paxos framework, such as having 1 entity for Proposers, Acceptor and Followers. It's frustrating that there isn't a clearly written defacto paper on Paxos - the story style confused the monkeys out of me.
>When i was younger I tended to think "hey it's their choice" but i've realized how unfair our society is in terms of things like this.

Where do we stop? Drugs? Medication? News? Elections?

People choose bad things all the time. Thinking you know better is how you end up banning alcohol because it's obviously a terrible vice.
It seems like this is multiple parties pursuing distinct arguments. Is Google saying that this technique is applicable in the way that the rebuttals are saying it is not? When I read the paper and the update I did not feel as though Google claimed that it is general, that you can just rip it off and run it and get a win. They trained it to make TPUs, then they used it to make TPUs. The fact that it doesn't optimize whatever "ibm14" is seems beside the point.
Related:

Raft Consensus Animated (2014) - https://news.ycombinator.com/item?id=32484584 - Aug 2022 (67 comments)

Raft Visualization - https://news.ycombinator.com/item?id=25326645 - Dec 2020 (35 comments)

Raft: Understandable Distributed Consensus - https://news.ycombinator.com/item?id=8271957 - Sept 2014 (79 comments)
My back of the napkin math tells me a .2 mm puncture would do this. This must be a very tiny crack.

I'd just paint over all the welds and be happy until it unseals itself again.
That was mostly a cover to build rockets that could land more accurately on Moscow.

I'd rather we have the gambling.
Reminder that these people are only caught because they photoshopped Western blots.

Even more widespread is when PIs just throw out data that don't agree with their hypothesis, and make you do it again until the numbers start making sense.

It's atrocious, but so common that if you're not doing this, you're considered dumb or weak and not going to make it.

Many PIs end up mentally justify this kind of behavior (need to publish / grant deadline / whatever) — even at the protest of most of the lab members.

Those who refuse to re-roll their results — those who want to be on the right side of science — get fired and black balled from the field.

And this is at the big famous universities you've all heard of
You might want to change your bedclothes more often
Let's classify technology:

1. Decentralized technologies you can operate privately, freely, and adapt to your needs: computers, old internet, Linux, git, FireFox, local Wikipedia dump, old standalone games.

2. Centralized technologies that invade privacy, lead to loss of control and manipulation: web search, social networks, mobile phones, Chrome, recent internet, networked games. LLMs fall into the decentralized camp.

You can download a LLM, run it locally, fine-tune it. It is interactive, the most interactive decentralized tech since standalone games.

If you object that LLMs are mostly centralized today (upfront cost of pre-training and OpenAI popularity), I say they are still not monopolies, there are many more LLM providers than search engines and social networks, and the next round of phones and laptops will be capable of local gen-AI. The experience will be seamless, probably easier to adapt than touchscreens were in 2007.
You’re right that "history" starts with writing, but "prehistoric" refers to the human period before written records, starting with the use of stone tools around 2.5 million years ago.
It's just 1 atm. You can't even say it's trying seriously.
Do they qualify under "free speech absolutist"?
My thoughts exactly. It's fun as a hobby I guess, but sitting down and soldering a non-trivial board sounds like a PITA vs paying $50 for a respin of 5x boards with full pick-and-place assembly, delivered in <5 days.
Eh this conversation has nothing to do with people traveling on MTA services. We’re talking about people accessing the MTA website. Two different things.
Nice and clean. The standard corporate palette of black on white with blue accents. Looks like so many others though, and lacks the fast food vibes which usually involve warm tones from yellow to red. Open bk.com or mcdonalds.com to understand what I mean.
My sole rational argument for Christianity is that it has made the societies that it is, or was, infused with, more honest than the ones that were not.
Thanks for your feedback, I really appreciate it i will look into that area.
There are some people who think everything is "a societal/political issue."

But that one-dimensional view is boring. Life is more than politics.
>Yao can’t be compiled in the traditional way.

>Instead, Yao will be compiled to an LLVM-like IR (which already exists), and that’s how it will be distributed. Users will have to do the final compile step on their local machines.

Is this referring to the compiler itself, or programs written in Yao?
Love love love this. I recently saw something about Rails 8 (probably Kamal?) and decided to build a toy app using the main git branch parsing and displaying Telegram logs. I haven’t used Rails or done any front-end work since the traumatic 2->3 upgrade over a decade ago.

My two main takeaways were:

1) This is fun

2) Why do we put up with all this garbage in modern development

2a) Okay I guess Tailwind is more useful that I assumed

And it’s legitimately made me think I could build and launch something on my own, which I’ve never had the confidence to try before.
In this case, licensing should be more affordable than the physical sale given its ownership cannot be transferred.
One way should work quite easily: calling Rust from Java. GraalVM has Sulong, which can execute LLVM bitcode.
“We can't tell you what our product costs beforehand because we try to extract as much as we can from you.”
How are these solved by cryptocurrencies?
>Even in cases like "Hawk Tuah" I kinda get how these meme blow up and create celebs which people follow as a new form of pop culture

Because by and large people are terminally boring?
> The problem is that this has been an issue for a long time. My first interactions with the internet in the 90s came along with the warning "don't automatically trust what you read on the internet".

I received the same warnings, actually it was more like “don’t trust everything you read on the internet”, but it quickly became apparent that the last three words were redundant, and could have been rephrased more accurately as “don’t trust everything you read and hear and see”.

Our parents and teachers were living with their own fallacious assumptions and we just didn’t know it at the time, but most information is very pliable. If you can’t change what someone sees, then you can probably change how they see it.
Britain seems like such a crazy dystopia these days.

cameras everywhere, immigration overwhelming natives in certain neighborhoods, ASBOs, some of the highest rent prices in the world, average economy.

how are middle class britons doing?
It really ruined watching games for me with the constant talk of odds and gambling right in the broadcast. I thank my lucky stars this happened after I was a teenager/twenty-year-old because having to find a shady bookie that would break my legs if I didn't pay was one of the main factors that kept me from being stupid like a number of my friends.

I would have been in deep trouble with an appified, gamified, psychologically addicting betting app on my phone offering me free bets to log in again. I had a hard enough time breaking away from phone gatcha shit that I would mindlessly click while sitting on the couch.
I disagree with Matt's actions, but not why he is truly compelled to take action.

It's been pretty clear for a long time that WP engine was founded to be a maximally profitable business model to fill in the security/reliability gap, with the founder identifying this as why he went into the business: https://www.youtube.com/watch?v=otbnC2zE2rw

(note he doesn't mention Open Source there or extraction of value - he's just rightfuly pointing out good fundamentals of business for bootstrapped developers). He mentions how $50 or $100 a month is much better than $5 or $10 a month - and that leaves a bad taste in your mouth when you realise WP Engine still charges that today, a little.

Where this comes to the sleazy part is that:
A) WP Engine has kept prices the same or increased over the years
B) But WordPress has became more secure and a lot of what WP Engine used to uniquely do they no longer do
C) WP Engine contributes significantly more to sponsoring conferences seats, and PR spend, then actual contributions

I think the combination of these things is what actually drove Matt to make his move:
A) Awareness that the original founder made WP Engine to maximize profit; which Matt naturally feels relatively deprived of as a competitor
B) The behavior of sponsoring conferences, but not giving back in WP Engine
C) Rumors of suppression/avoiding working on Wordpress Core by WP Engine managemnet, which Matt seems to have genuinely been taken by (perhaps a few true WP engineers did reach out - no evidence that I've seen)
D) That WP Engine having a "big bad investor" would get people on his side, as that they were blurring the line a little.
E) A perception of, or increasingly urgent actual cashflow issues at his company making him think that the longer he put it off, the weaker he will be.
F) His own blindness to the obvious hypocrisy with Wordpress.com / Wordpress.org.

Matt making threats and essentially extorting WP Engine is entirely wrong. This said, I understand why he did took some action. I'm not sure what I would have done.
People seem to get how goroutines work without too much effort. (Go's concurrency model is the pi calculus).
You have agency. Yes - the system provides incentives. However, you are not some pass-through nothingness to just accept any incentives. You can chose to not accept the incentives. You can leave the system. You're lucky - it's not a totalitarian system. There will be another area of life and work where the incentives align with your personal morals.

Once you bend your spine and kneel to bad incentives - you can never walk completely upright again. You may think and convince yourself that you can stay in the system with bad incentives, play the game, but still somehow you the player remain platonically unaffected. This is a delusion, and at some level you know it too.

Who knows? If everyone left the system with bad incentives, it maybe that the bad system collapses even. It's a problem of collective action. The chances are against a collapse, that it will continue to go on for some time. So don't count on collapse. And even if one was to happen in your time, it will be scorched earth post collapse for some time. Think as an individual - it's best to leave if you possibly can.
> If people can get away with it, they will do it.

This isn't true of everyone, but assuming it is increases the likelihood that it will become so. Because if everyone is trying to get away with it, why shouldn't I? That sort of breakdown in trust is high up on my list of worrying societal failure modes.
As someone who worked for a major sports betting company, these are the things we built but only used if required by the country/state/tribe/whatever:

* Deposit limits, per day/week/etc to limit the damage someone could do and also to limit money laundering. This could be self imposed or regulator imposed.

* Withdrawal limits. This was mostly to limit money laundering.

* Wager limits, per event/day/etc

* Self exclusion for a certain time period or forever. This kept people from using our stuff to make bets based on our best efforts to identify them. Sometimes we had a government
ID, sometimes we didn't.

* Other exclusions, i.e. blacklisting for things like not paying child support.

* Geofencing to prevent people from using our app outside of the legal jurisdictions. Also, geofencing to only allow people to register for our apps in certain locations, such as a casino. That could easily be extended to prevent people from using the apps outside of a casino, but I don't think that was required anywhere.

These things are technically possible and would greatly help if required globally, short of an outright ban.
On the gripping hand, Rust is the first language to popularize (not invent, hold your tomatoes) many terrific programming ideas under one wrapper. It has demonstrated how much the compiler can do to prove code is correct. Yet…it has some warts. I am quite interested in what lessons can be learned to smooth out some of the Rust edges for a language which does not have “replace C++” as the guiding principle.
This is just an ad for Signal. There’s nothing really coherent about her take, she just sees the entire world through the lens of surveillance so she’s trying to shoehorn today’s hot topic into that narrative as well.
Recent and related:

Sony, Ubisoft scandals lead to California ban on deceptive digital goods sales - https://news.ycombinator.com/item?id=41665593 - Sept 2024 (100 comments)
In this case she asked to take the bus. I suppose that could’ve gone south, though. I think kids are generally delighted by novelty.
Stay or go? Pacific Islanders face climate's grim choice
We have a high dollar value of manufactured products, but volume is way down, and the supply chain is ragged or totally broken. If your factories are warehouses where you assemble Chinese feedstock with German tools, how much local expertise do you have, or is it just LEGO kit stuff for tariff evasion?
any lawyers know if it's wire fraud to get paid to do academic research and lie about the results?
> * "As provable as Ada/SPARK": I'll let you read the design in [2] and decide for yourself. But Yao will also have contracts.

Without being too self-indulgent, I'm not sure there is that big of a gap between the two in provability, there are now a huge array of verifiers for Rust code which are being used to verify real code: SAT/SMT solvers, kernels, memory allocators etc...
Solving climate change might be incompatible with democracy, due to the desire in the aggregate for business as usual and unwillingness to pay for true costs of emissions from activities.

Not a lot of folks with the fortitude to vote against the free ride of not paying for carbon emissions (transport, air travel, agriculture, shipping, etc), based on the evidence.
Nope. “Evil” still provides no explanation and no understanding of why and how things happen there. It’s the same thing as believing in miracles created by a god.
Nice (simple) introduction to the tree sitter APIs.

If you're looking for a higher level interface, GritQL[0] is built on top of tree-sitter and could handle the same refactor with this query:

language python

`def $_($_): $_` as $func where $func <: contains `database` => `db`

[0] https://github.com/getgrit/gritql
> You were correct up to here. However the US has a lot of manufacturing and so is not setting things up from scratch

This is music to my ears. I read somewhere that the average age of the technicians in the US shipyards are well over 55 years old, hence I worry that we are losing key talents. There was also a NYT article more than 10 years ago that analyzes why the US can't make Kindle even if we want. Also, when people were outraged that the air force spent more than $20K per toilet more than 10 years ago, I read somewhere that it was because our law mandated that certain percentage of the components have to come from domestic manufacturing. Unfortunately the air force had a hard time finding such components, so they chose toilet. In order to do this, they had to find a factory in the US, which caused really high unit price. And then a recent article explained why it was so expensive to replace components on weapons: usually these components are custom-made. It would be cheap if we had a vast supply chain domestically, as it would be inexpensive to set up a custom mold or tooling chain for a few such component as the cost can be amortized over millions of other regular components. Without such supply chain, we wouldn't have such luxury. Hence came my worry.
May 2024: "The United States Department of Justice (DOJ) appointed Forensic Risk Alliance (FRA) to serve as the outside monitor over the crypto exchange Binance. Binance must undergo a monitorship of three years as part of its plea deal with the DOJ related to money laundering violations." https://www.theblock.co/post/293834/doj-taps-fra-over-sulliv...
>The rear one is grayscale.

If I understand correctly, you're saying that there is a rear LCD that only either lets light in or blocks it without caring about the color? That's interesting. As for why they aren't investing in this then, it's might be at least in part due to the power usage which would make it unsuitable for battery powered devices such as the iPad mentioned in the article.
Evacuations ordered as Lake Lure Dam failure 'imminent,' officials say
This is a pretty clear summary of a real problem in most work environments. I have some thoughts about why, but I'm holding onto your articulation to ruminate on in the future.
This is the bill itself, which is pretty short and understandable: https://leginfo.legislature.ca.gov/faces/billTextClient.xhtm...

I think it's pretty sensible. For any digital good (including books and movies etc., not just games), if you're supposedly buying the thing, it can't be given to you in a form in which your ownership can be unilaterally revoked later.
Groq and JigsawStack: 100x speed on every prompt
They are just closing the hatch to the faulty module. Considering the leak is very small and that it'd be a huge hassle to detect it (with little that could be done to fix the structural problem - while you can stop the leak with bubble-gum, but can't redo the weld in space)
Deeplearning "Ahem" Detector (2016)
Good explanation why Go's compiler sucks on some/most cases (with lot of If's).
I've said so many times, but we need to go back to a system where it is possible to make a career in science and get funding for replicating other people's work to verify the results.
I was running into the same issue. I recently bought some cheap molds off of amazon and it makes shaping them a breeze.

Fill bottom half with rice > Add Filling > Top off with rice > Press and done!
Syndicated material was disguised all the time. Ask most people and they think that most of the stories in their local newspaper are written by people that work there.

> The average American reader didn’t necessarily notice the way syndicates and chains had come to dominate the news. Syndicates were careful to sell their material to only one newspaper per city. While syndicated features usually carried a small copyright symbol, the name that followed that symbol could be deliberately opaque. Readers wouldn’t automatically know that “King Features” denoted Hearst material, or that “NEA” indicated content from the Scripps chain. Local papers sometimes purposely disguised syndicated material. The Milwaukee Sentinel bought a comic strip from the New York World syndicate in 1918, for example, but retitled it “Somewhere in Milwaukee.” The same paper told readers to send in their letters for Dorothy Dix as though she could be reached in Milwaukee, and not in New York City, where she lived and sold her work to the Ledger syndicate.

https://www.smithsonianmag.com/history/how-syndicated-column...

Local newspapers didn't want to plainly advertise that a gigantic chunk of their content came from thousands of miles away. It undermines their value proposition.

Likewise, CNN probably likes that a huge chunk of featured content on their page is driving them revenue but doesn't look like a big ad to their audience.