skysight-inc/HackerNews huggingface dataset:
Manipulating code running from another process is a completely normal thing for privileged processes to do.
Surely I am one of the ̶r̶i̶c̶h̶good people who would always have been allowed to exist.
Article says he's 40. 2023 - 40 is ...

Yeah, that can't be it.
Show HN: Cap Or Not – the deepfake speech detection Twitter bot
Hi,

Built this bot using the RawNet3 (github.com/jungjee/rawnet) speech embedding model.

Used a really tiny dataset (100k clips labeled as real or gen, each one is about 3 sec long), and from my testings, it does really well with single-speaker, clean audio. Has varying results with some of the content mixed with noise on twitter. Still wanted to ship something usable tho.

I wanted to get as much feedback as possible. I prefer the feedback to be as harsh as need be :) lmk if it's shit lol
The isps can pretty easily set up a cache for things that are popular. There was a time when I worked for an ISP consultancy, where Netflix would literally give ISPs a prebuilt cache server iirc for free, and that was a win win for everyone. I shouldn’t be surprised that some shitty isp thinks it’s easier to hard link, but making a cache isn’t that hard.
The Philadelphia Experiment?
Richard Feynman – Names Don't Constitute Knowledge [video]
I wish reporters highlighted the stepped up basis tax loophole that causes the bizarre behavior, rather than claiming that grandmothers just can’t “afford” to sell. Many grandmothers would “afford” to sell their house if there were no tax benefit to holding it until death. Same with the “Buy, borrow, die” behavior that ProPublica reported on (https://www.propublica.org/article/the-secret-irs-files-trov...). Instead of advocating for an esoteric unconstitutional wealth tax, why didn’t they advocate for closing the loophole that creates the incentive?
> "I do not want to live in a ADU nor do I want one on my property, nor do I want to live in a community that has ADUs."

Sounds like you don't want them in your backyard.
This has never been a problem, except when someone is currently employed and is leaving a job to take one at our company. Right now, there's a lot of really good talent that does not have this issue.
Indeed! Unless the cook was from south Louisiana and could reasonably prove it.
Yes military and SEC are and should be free to moonlight. It is extremely common for military to have two jobs, especially the military reserve. The only provision is that they can't have conflicts of interest.
Part of the political problem is people voting against any form of housing they don't want for themselves.

What's degrading is people on the street because CA has such an extreme housing shortage.
Generally:

- Upvote posts and comments I'd like to see represented, are insightful, and/or make me think.

- Downvote: posts against HN guidelines (either in source material or the submission contents, e.g., editorialised title, duplicate submission), comments which don't add to the discussion.

I've been making a point of upvoting what I read as sincere substantive engagement even where that disagrees with me. One aspect of HN I find frustrating is that there's rarely much by way of substantive discussion, and HN's own systems often read that as a flamewar (e.g., a thread that's nested deeply and shifted far to the right). That's often the case but is not always the case.

With time I'm finding myself more favourably inclined to systems that have "flat" discussion threads. Google+ was one of these, and effectively each response was simply appended to the end of the thread. Conventions of mentioning an earlier reply and quoting a small bit of context emerged. The dyanmics and mechanics of posts differed from HN: there was always a directly-involved moderator (effectively), the post's own author. Whether or not that author would moderate, and how fairly they did so, of course, varied tremendously. People who were good at this, though, often had excellent discussions.

Threads were capped at 500 comments. Good discussion typically had probably on the order of 10--50 active participants tops (and often fewer). That was enough for a number of comments from each, and threads rarely hit the cap (though occasionally did). The end result read far more like a transcript of a real-life conversation than, say, HN or Reddit threads (or Usenet back in the day).

Again, HN tends not to produce such interactions, though they occur occasionally. Reddit is even worse for this --- it's where conversations go to die.
Vaccines have no effect on whether a virus mutates to become milder or more virulent. Effective vaccines, which prevent spread, can eliminate a disease, but clearly the COVID vaccines failed on that front. So for instance the Spanish Flu was an unimaginably brutal disease that primarily killed people in the 20-40 year old range! [1] Just terrifying stuff. But it never disappeared. It's still with us today as a variant of the common seasonal flu. The next time you've a winter fever and some congestion, you might well have the Spanish Flu, or what it's become at least.

And obviously there were no vaccines for the Spanish Flu.

[1] - https://en.wikipedia.org/wiki/Spanish_flu#Patterns_of_fatali...
> Like what? What's unthinkable tasks are so useful thanks to AI?

Erasing strangers or unwanted items in the background on pictures taken by my phone locally from my Phone's photo app was unthinkable a few years since you needed Photoshop on a PC for that. I assume the TPU is doing heavy lifting on image segmentation since the UX is pretty much touch-to-erase.
Qualcomm announces first-ever mass-market RISC-V Android SoC
yes, everything done on the Internet must be deadly serious and professional AT ALL TIMES.

I'd guess you're pretty old.
Backgammon lacks hidden state.
Absolute madman encoding the article in the URL like that.
From my point of view as a 33 yo Brazilian, we have a lot of natural resources, huge domestic market, a lot of talents.

We're talking about ~210 million people. We're just below USA in population in the American continent.

It's good for countries like USA to look after us, i believe we will eventually grow, we're still a babe democracy, the military dictatorship ended on the 80's.

So we still have a long way to go but we will get there. Brazil is one of the main SOY and Meat exporter. We're evolving greatly on the tech business preparing the man labor and launching startups on the market.

So yeah, keep a look out for us and let's grow together as entrepeneurs.
SteamDB is great for this sort of thing:

GZDoom: https://steamdb.info/tech/Engine/GZDoom/

Godot: https://steamdb.info/tech/Engine/Godot/

Love: https://steamdb.info/tech/Engine/Love2D/

FNA: https://steamdb.info/tech/Engine/FNA/

OGRE: https://steamdb.info/tech/Engine/OGRE/

Torque: https://steamdb.info/tech/Engine/Torque/
That reminds me of a story from a good friend who works in the Idaho National Labs, which have some areas under rather tight security.

As the story goes, one of the scientists there copped a warrant high grade enough for the Federal Marshals to come by and make an arrest. They were stopped at one of the gates into a more secure area, asked their business, and told that security would send out the person in question. The Marshals balked at this and demanded to be let in to make the arrest, lest the fugitive make good an escape somehow. After security asked for their requisite clearance, which the Marshals could not provide, it continued to escalate. Fingering their pistol butts, the Marshals insisted they were on lawful business and must be let in, while the guards with rifles replied that by all means the Marshals might make their entry but as armed intruders into a secure laboratory they would promptly get shot.

The pissing match took long enough that the fugitive was finally marched up to the gate and taken into custody before it could escalate further, at this point I believe the Marshals were on the phone with their higher ups trying to plead their case to be let in.
This is great! For remixing, are you guys actually saving the latent assets/embeddings? Or regenerating the music from some "seed"?
https://blog.erratasec.com/2013/02/multi-core-scaling-its-no...

Maybe you should just take a college computer architecture course along the lines of Hennessy/Patterson. This is nothing new, I learned much of this in college 15 years ago. The problem has only gotten worse since then, computers have not become more single threaded.
Can you explain how the landlord will be prevented from passing on the land tax to the tenant?
LibGDX is still alive and well, and just released a new version recently. The API is relatively "finished" which imo is very nice and means old tutorials still work, and there's some exiting things maybe happening with getting the kotlin version to work on web without GWT (which is java only)
Yeah, this.

All else equal, I'd say that I am a "techno-optimist". That is, I am optimistic about humanity continuing to invent new technologies, and optimistic that over long time horizons, those technologies will be highly net positive. And I'm excited about continuing to find ways to be involved in some of the technologies that get invented and scaled up during the remainder of my life.

But if Andreessen's manifesto is now what the term "techno-optimist" means, then you definitely have to count me out of that. I guess I'm happy to just say "I'm optimistic about technology", without needing new jargon defining it as an identity.
They're doing the former harmless thing, but in the same way that people who are trying to do the latter malicious thing might do it.

The ban system detects the method, not the effect and certainly not the motive.
I you don't mind persevere for 20 years, it might be feasible. This would give the time to deal with all challenges.
This logic is as incorrect as the folks who say we are due for an earthquake.

It discounts all factors we are ignoring and pretends we can establish an accurate duration between rare events with a few occurrences
Is Ford really going strong? They just cut F150 Lightning production, https://finance.yahoo.com/news/ford-cutting-f-150-lightning-...
ExecuTorch: Run PyTorch programs on mobile and edge devices
I cannot downvote here anyway, which is fine.

On other platforms, I have come to believe that it is healthier for me to reply to content that I feel good about upvoting, and just moving on if I am tempted to downvote.
Ah, that's what you're upset about. They probably paid more to the Obamas and those british royalties, in case that's any consolation.
Maybe you will like Solar Field - Random Friday

Not sure if it's exactly what you need tho, in terms of genre

One of my absolute favorite albums to drive, code or run to.
Geopolitical Risks May Accelerate a Debt Crisis
'Peptides' are the latest longevity trend in Silicon Valley
// then you’ll get assigned more, you’ll be stuck carrying a bunch of people.

Ok so on a personal level, if this happened to me, my sequence of response would be (1) talk to my management to fix the situation (2) failing that, look for another place to work (3) failing that, dial down my level of engagement.

Right now, #3 is the worst case. With a union, #3 is the default case since the system is designed to prevent you from being rewarded.
https://archive.ph/5VEos
The Calverts Cliff Decision
Post-ACID for stateful services -> DHC: Durability*, hygiene**, and confidentiality***.

* Superset of bare metal recovery readiness, proven backups, monitoring, availability, and warm storage integrity.

** Superset of consistency, isolation, referential integrity, and data hygiene.

*** Superset of authenticated, G4+ FHE, and/or zero-knowledge encryption at rest and in-flight, elimination of side-channels, least privilege access control of metadata and data, removing plaintext paths, reducing privacy-liability metadata, and eliminating bleed-through of internal metadata externally.
I literally can't think of a more dangerous kind of research that we could be doing as a species than messing around and making viruses more dangerous.

If we really have to do it, then we can do it in the middle of a desert with quarantine procedures instead of near/in population centers.
just read through this manifesto. lot of high minded ideals but little actions to show for it if you start at the beginning of the internet era.

> Our enemy is corruption, regulatory capture, monopolies, cartels.

sounds good, how about Andreessen Horowitz start open sourcing the ip of their own failed startups. thats a good small step towards avoiding monopolies and democratizing IP, No, they wont because it hurts THEIR chances to be the dominant monopoly. thats the bottom line. a few more examples for select few capturing most of the gains of tech:

- minimum wage essentially flat over last 30 years (considering number of people at or close to min wage)

- best example of NIMBYism is lack of real estate development in silicon valley itself. look at RE prices & affordability in SV and you know all there is to know about what pure capitalism does to even the techno-optimists.

- prices for already established drug like insulin or epipen over last 20 years or general hospital expenses

- screw all that, even look at the realtor commission (about 6-7%) for doing almost nothing. why has that not been disrupted even though all info is essentially online.

- pretty much all software wants to be tired subscription with value squeezed out over time. this is how they (VCs) evaluate exit potential of startups.

Sure it all starts with providing an innovative product to customers but the underlying disruption essentially allows 'them' to squeeze additional value out of populace over time.

bottom line, as citizens, are you and I working more or less compared to our parents? do we have more security (financial & otherwise) in life? are we more or less stressed? this will only get worse with AI by default. unless there is a dramatic shift business-as-usual.

edit: formatting
From 650kb to 14kb. Can we just have this as a new image format? Joking but not joking. I’m looking for an extremely packed image format and I think you might have just defined one. Also, those binary layouts with interactivity are awesome, don’t stop doing that. It’s a killer feature.
For me a perfect game is a game that unashamedly sticks to its vision, whatever that may be. The most recent ones for me are include vampire survivors, risk of rain 2, Baldur’s gate, and Streets of rage 4.

So many games try to cast a wide net and incorporate rpg elements, micro transactions, crafting, etc and it just feels like they are checking off boxes.
U.S.S. Nimitz: Lost in the Pacific
You give them too much credit, people build cities designed around cars with no need for pressure from automakers. There's an area by me that went greenfield (well technically brownfield) to huge high-rise apartments, restaurants and shops lining the bottom, a new pedestrian bridge. The city was constrained by no one, they could have built anything and they're as liberal and progressive as they come. An area that's not even 3 square blocks has four brand new 7 story parking garages paid for by city and free-forever. To call it a massive success is an understatement, and largely due to the crazy amount of free parking making it far more attractive than anywhere else to spend a night out. They went from literally an empty field the most expensive real-estate in the region that isn't on a golf-course and competes with our downtown for number of non-resident visitors.
Social responsibility, tech ethics, Radical CS are all such vague positions that I've seen them used to justify everything from adding gentle taxes to "hanging the billionaires". I think most people agree that some amount of regulation is good. The hard part is agreeing how much, where, and how this regulation is enforced. CEQA is an example of where pro-social, pro-environmental legislation ends up obstructing progress.
They are well trained, judicious and exacting in their conduct. They do not screw around and they do everything by the book. They're like what we wish regular police officers were.
This is the "Lucky Pierre" type of lucky.

If you don't know what that is, you might not want to search it.
Again, absolute BS. No better example of this than LA. The type of new housing being built is small condos. Previously affordable housing is becoming unaffordable. That's not because of new units, that's because of a shortage.

Crappy little homes all over the city spiral up in price. Meanwhile a small number of apartments and condos are built downtown, and people publish fake studies about how there are vacancies, and the studies have to be retracted within days.

Everybody focuses on the new as if that's causing the problem, rather than seeing that there's massive massive overcrowding everywhere, lower income people are commuting massive distances, and what used to be working class neighborhoods have homes selling at prices that require household incomes of more than $500k/year.

The problem is a massive shortage. (And massive corruption in the permitting process, how many LA pols are facing felonies now because of denying housing so that they can take bribes to let a few things through?)
That, but organized by a whole volunteer department in this case...
If memory serves well, it something like 10^(-9) propability for a catastrophic failure for civil airliners. No idea about bon-people carrying space rockets.
> Question - how long will this last before the young say "enough" and vote for politicians that just redistribute assets? Bc that historically has not worked well.

The NIMBYs: they don't pay their fair share of property taxes (because prop 13). They oppose building new housing to drive up their property values, but this doesn't increase their property taxes because prop 13

A start would be this: repealing prop 13 and forcing the NIMBYs to pay their fair share of property taxes. Make them sleep in the bed that they've made for themselves
Indeed, money was okay and I was remote and fullt time w/ 30-hours and benefits for 7 years of that. I asked for a raise given the economy and was denied, so f- it :D Now that my kids are grown I can afford to be a sound engineer and musician.

If I were introducing young folks into building stuff for the web (and I am considering doing that locally), WP would be my platform of choice for the reasons that you state. It really isn't bad if you are doing mostly what it is designed to do. It's got a lot of horrible parts to the code base, but if you never have to touch them (and there is a lot of equally shitty code written to aid in that effort) then it doesn't really matter.

However, if you're integrating an ERP and a SSO system that has many thousands of users, it gets to be a bit hairy. You're correct that at a certain point a wholly custom solution makes sense. But if the shop where you're working is married to WP because that is where all the success stories they know how to tell live, then WP it will be.
Superlinear Returns
Blue Origin's New Spacecraft Can Build Projects in Space
"The Blue Ring spacecraft, set to launch sometime in 2025, functions as a maneuverable platform that can host, transport, and refuel other spacecraft."
entrepreneurs> as a few friends mentioned here, there is a lot of good developers here in Brazil and from the buying power (USD > BRL) it's way cheaper to hire and contract the same level of professionals here.
The same point of view goes to investing, buying power with the current conversion rate it's very welcoming to invest in Brazil, from real state, to tech. FYI :P
If civic government contractors are anything like military contractors, then many of them haven't even heard of a version control system like Git or SVN – instead, naming file versions manually, like old Word DOC names (utils_b4_final2.cpp). I saw this personally at a major contractor in the last five years.

I don't have high expectations for the care invested in the code.

The bigger problem isn't being pwned in an embarrassing way like this. It's all the successful hacks into government systems which never get spotted or are never discussed at a level where they are likely to motivate positive change.
> There are definitely different types of programming jobs

That's what most people on HN forget. The programming world is huge. Even more so, if you include all the stuff we wouldn't traditionally include, such as people using code to optimise business or production processes.

It's always best to assume that you don't know what "most software jobs" are like, because you're very unlikely to have seen more than a tiny slice of it.
The image on that article really makes me miss my '79 Ford that as a teen I bought not running and fixed/replaced just about everything including the straight-6 300 engine. I tracked my MPG by hand and remember I got 16 in town and 21 on the highway. It blows my mind that something like a modern Tacoma can't blow that away, even while gaining 1,000 pounds over the old Ford.
I'll note that this is a side effect of incognito blocking third party cookies, and I wouldn't bother changing it for that purpose.

But I guess it can happen on the original site if the user turns off cookies entirely.
Note that this still doesn't seem as good at solving proofs as some of the specialized prover models at formal theorem proving that aren't LLM-based. In particular, they show a 3% increase in proves solved over COPRA on the MiniF2F Lean dataset, but in COPRA's own paper they show that they prove about 18.5% fewer theorems than Proverbot9001 on the CompCert dataset (their pitch is that they are faster, but not better at proving, than other tools). Assuming COPRA isn't just way better at Lean than Coq (there should be some amount of difference, but given that it's the same algorithm run on a uniform interface over Coq and Lean it's unlikely to be large), Llemma should be proving 10-15% fewer proofs than Proverbot9001's algorithm. There's a bit of trickiness to trying to do this kind of cross-benchmark comparison, and COPRA picks a bit of a weird dataset to compare to Proverbot9001 on to save costs, but they also use a slightly older version which has worse results. So it probably still washes out to the best LLM-based provers being about 10-15% worse at proving theorems than the best specialized models.

EDIT: To be clear, that's 10-15% of the total theorems in a test set, not a relative 10-15% improvement. Given that solve rates for tools are in the 10-30% range, that's much more than a relative 10-15% improvement.
I don't see techno-optimism as being remotely under threat. I think the vast majority of humans are techno-optimist. There's some very real concerns about how AI will change society and whether it will cause some palpable harm especially in the short term. I also think it's pure sophistry to assert that technological progress can only be good. Even when it's a net positive it will still come with costs. All that being said, technological progress is hardly being hampered in any corner of the economy. Congress held some hearings on AI. Did they shut down any program or ban any products? No. Tech is proceeding at an ever faster pace and there is barely anything slowing it down. The biggest anti-tech campaign I've seen in my life was the anti-vaccine campaign of the COVID era.
I could not disagree more, in my opinion the perfect degree of randomness is 0%. Now, of course that is unattainable: if I play a game of Go, for instance, there's the random chance of "did I manage to get a good rest the night before", the chance of "will I know the joseki my opponent chooses", "will I lose my concentration to unforeseeable circumstance",...
The FBI cannot be relied upon to address the issue of law enforcement corruption.

https://en.m.wikipedia.org/wiki/COINTELPRO
Baidu launches new LLM ERNIE 4 that turns one person into 'an AI marketing team'
No one is traumatized by seeing goatse. It is a right of passage for children to become true internet denizens, in fact.