skysight-inc/HackerNews huggingface dataset:
Do you mind elaborating? I don't get how they're comparable. Vetted.ai uses AI to rank products based on user reviews and check prices across retailers. OP's project is a community-based, collaborative database (almost a fusion of Reddit and Airtable) where anyone can contribute to a database, which also isn't limited to products.
It's all about model checking:

https://en.wikipedia.org/wiki/Model_checking

Three of the pioneers of model checking won the Turing Award back in the noughties:

https://amturing.acm.org/award_winners/clarke_1167964.cfm

https://amturing.acm.org/award_winners/emerson_1671460.cfm

https://amturing.acm.org/award_winners/sifakis_1701095.cfm

Z3 is an amazing theorem prover, bordering on magic.

https://en.wikipedia.org/wiki/Z3_Theorem_Prover

Theorem proving is often used in model checking.

This guy's code produces Z3 theorems for a subset of the x86 instructions. By theorems, I mean "mathematical statements about how they work".

They can be combined so that a small(ish?) piece of x86 code can be turned into a model, which Z3 can prove (or disprove) statements about.

This is very useful for proving a piece of code right or wrong.

Model checking used to require a phd -- now it just requires a bit of effort and "mathematical maturity". We have come a long way towards making it a generally available tool for all/most programmers but there is still a long way to go.
Honestly, you’re giving a really good scenario to show the usefulness of a (good) type system. What you’re describing can be expressed very well in eg typescript, and while I’d write test, I’d be confident writing the code only supported by tests
Just in case mass unionization of the tech industry fails, you can always find a new job.
It now seems a bit obvious that this type of policy will lead to the best performers flying the coup, as they are the ones most likely to be in a position to dictate the terms of their employment.
I mean "put four people from any one location into the same room"
(I've mentioned this on another thread here)

Here's a copy of the entirety of C2 from https://archive.org/details/c2.com-wiki_201501

And an implementation of a server to run it (search indexing and such) https://github.com/adamnew123456/wiki-server
Don Dodge was an executive at AltaVista, Napster, Bowstreet, Groove Networks... and then spent time in Developer Evangelist roles at Microsoft & Google.

In this podcast episode, Don shares so many awesome stories from all of these experiences.
I take your point, but would like to ask about:

> Having the means to easily call your parents if you end up in an emergency situation is beneficial.

In a true emergency, yes this is of course beneficial.

But in general, I'd bet the ability for a parent to always be in touch with their child is not as obviously beneficial. I know first-hand about the types of parents that are always calling or texting to check-in with their kids - it can stress the kid out (let alone the parents), and I imagine that never being disconnected from the parents can be a bad thing for the child.
James Joyce would have loved this.
I've heard conflicting stories about the VMS/WNT naming thing being a deliberate choice by Cutler. (If you increment each letter of VMS by one, you get WNT i.e. Windows NT.)

Some say it's just a coincidence. I wonder if anyone on HN has first-hand knowledge.
100% they get it because we talk about it all the time, however it doesnt mean they agree but I would say they understand. There is pushback as age increases and social pressure DOES increase as well, this is why we think the transition is key. Our 15 y old son just drew up a contract in order to get a smart phone with things like a list of apps he would install, acknowledgement that we "own" his device, agreement that it will not be in his room. We will try to strike a balance between trust and micromanging, hopefully closer to the trust side of the spectrum! We expect him to fail a few times and thats ok, its all part of learning to use it responsibly by the time he turns 18.

This is a much larger issue than just a phone. Awareness of the great damage that can be caused by social media of all forms is just the first step.
This sounds kind of like a conspiracy-theory, so it's worth providing a source.

Norquist himself, and his organization Americans for Tax Reform, believe that making tax payers go through the process of preparing their tax return forces us to audit our comfortability with paying taxes[0],[1]. If, on the other hand, we just signed off on numbers that the IRS provided us every April, we'd be less aware of, and therefore less likely to protest, increases in taxes.

This isn't a subtle, arguably-the-cruelty-is-the-point sort of situation, this is a I'm-not-using-anesthetic-because-I'm-concerned-you-aren't-sufficiently-afraid-of-the-thresher-that-just-cut-your-foot-off-when-I-ran-you-over-with-it. I'm not a big fan of paying taxes, and I don't like it when my taxes go up. But I already feel that when I look at my paystub, or pay property taxes. The whole effort to make tax returns harder so people hate taxes hinges on the idea that most people are completely unaware of taxes until April 15th rolls around. It's cynical in the extreme, and that's really off-putting to me.

0. https://en.wikipedia.org/wiki/Americans_for_Tax_Reform#Oppos...

1. https://govinfo.library.unt.edu/taxreformpanel/meetings/meet...
Employees are part of the market dynamics. We choose where to work, and we vote with our employers.
> For example, try designing a tax system that is both fair and efficient with respect to agricultural income and tech income... It won't be simple.

I love these armchair opportunities for college-level challenges without the admission fees, I'll bite. Step 1: disallow corporation as a legal taxable entity, private ownership only. Step 2: Subtract expenses from income. Step 3: Divide by 10. Step 4: If more than zero, send a check.

"Fair and efficient" in terms of opportunity is easy. In terms of outcome is a fool's game IMO
Very well put.

Why not to build nukes massively? Nukes are inevitable, because in the human nature there is inherent hunger for power (ask any psychologist nearby), and nukes are the ultimate power.
With nukes at reasonable prices for wealthy families, the notion of an "atomic family" would really get a new exciting meaning!

I am ofc sarcastic, but the reasoning is IMO the same like with the AI..
The real question here is: why to refrain from building nukes and why to refrain from uncontrollably developing AI.
The lizard constant is considered roughly 4%, so 15% would still be a notable survey finding
And even before quizzing them, their work can be cross referenced against their other writing. If they've gone from writing with poor understanding of subject matter basics and poor written English to something like an exemplar essay in a matter of weeks, it's pretty clearly they've had some sort of help whether that's AI or not.
I think you are right, but also, that it is totally legitimate for Strange Horizons to say "we really really want only original work." So long as they don't also say "only original work is valid to create", which is where I (and maybe they, given the disclaimers) take issue with this list.
Seems like the site might have crashed, here's an archive link: https://web.archive.org/web/20230515030802/https://itwasntai....

But tl;dr many students have been accused of using AI by teachers who think that AI detection software works, when it really doesn't. So the goal of this site is to communicate to teachers that AI detection software isn't reliable.

I originally discovered this in a reddit comment which you can see here: https://www.reddit.com/r/ChatGPT/comments/13hi5y6/comment/jk...
A Dive into Text-to-Video Models
And as a side note, that's also HN guidelines: https://news.ycombinator.com/showhn.html

"Show HN is for something you've made that other people can play with. HN users can try it out, give you feedback, and ask questions in the thread."

"Please make it easy for users to try your thing out, ideally without barriers such as signups or emails. You'll get more feedback that way.

If your work isn't ready for users to try out, please don't do a Show HN. Once it's ready, come back and do it then. Don't post landing pages or fundraisers."

https://news.ycombinator.com/showhn.html

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
LTESniffer – An Open-Source LTE Downlink/Uplink Eavesdropper
> All Churches endeavor to "hoards". Not one doesn't.

Perhaps you're defining "churches" differently than I, but there certainly exist churches that don't endeavor to hoard anything
Vice shows ads. So does AP.

Vice’s business model doesn’t run on tips, it runs on ads and YouTube revenue split.

That’s nice that you want to tip a huge corporation but it seems that you are rare enough that Vice hasn’t found it meaningful enough to add a tip method.

Personally, seeing a tip jar on a “news” organization’s content would be about as welcome as seeing a tip dialog at my dentist office.
Interesting why this site is down...
I thought this was cute, but so far none of the definitions I've seen make sense. And it's not that the definitions are just weird, they're simply nonsensical:

squosh charm

a short white and yellow telephone charm with light red or yellow spandex

"in a little light they could wear a bright squosh charm"

I mean, I guess those words parse syntactically but they don't make any sense.
Depression sticking around isn't a sign it's evolutionarily fit.
I enjoy xcom 2 and civilization for example.
> what will be the competitive advantage of companies such Google beyond the brand?

The advantage is that their AI will be integrated into products that already have billions of users. Android users will get used to the default google assistant model so theyre more likely to use it in other instances as well and so on.
i vaguely remember attempting to install NT alpha on a dec workstation for one of my dad's friends who worked for either MSFT or digital or HP or something (he got a copy from work for eval - i think he worked in sales). it didn't work at all, and would hang after the file copy portion of the installer. i tried for an entire day but none of my usual x86 tricks applied so i just gave up.
I'd assume they live in a country where after a certain age they take your license away - that or they expect to live another 20 years on earth.
That's not what they allege.

The Virgin Islands is alleging that the JP Morgan benefited financially from Jeffrey Epstein’s sex trafficking operation and _failed in its duty to report suspicious financial activity._
>If most of my colleagues and the owners of the company I work for decide they prefer to work in an office, why would I enforce my will upon them

but this isn't the case, it's management making BS decisions no one really likes. the market is in favor of capital & management in the current market climate so collective action is the only way to push back imo
Personally, I plugged a Jabra conference speaker to a Raspberry and if it hears something interesting, it sends to my local GPU computer for decoding (with whisper) + answer-getting + response sent back to the Raspberry as audio (with a model from coqui-ai/TTS but using more plain PyTorch). Works really nicely for having very local weather, calendar, ...
Albania has been officially atheist since 1967. But abortion was not legalized until 1995.

The idea that American “evangelical Christians” invented opposition to abortion is typical American ignorance and myopia. Various levels of opposition to abortion is the norm across the world—for pretty obvious reasons. The rights-based view of abortion is what’s actually unusual and unique to Christian and post-Christian societies.
These are called tropes, and there is a wiki about them: https://tvtropes.org/
That's simply wrong.

The I.R.S. specifically notes that there is no limit on overall deductions, and hasn't been for years.
https://www.irs.gov/newsroom/irs-provides-tax-inflation-adju....

However, there are now limits on individual deductions that didn't previously exist, like the SALT cap of $10,000. It also appears you were affected by the cap on the (loan) value of homes which for which you could take the mortgage interest deduction, which was lowered to $750k from $1m by the TCJA (meaning, if your home is worth more than $750k for loan purposes you can only deduct the mortgage interest attributable to the first $750k of the loan), or by the elimination of a number of 2% items (items that pre-TCJA could be deducted only if they exceeded 2% of your AGI).
Git Internals and Tricks: how it works, and how to get out of trouble
At this point MS/Actiblizzard falling thru would be a blessing in disguise for MS
Our family is a huge fan of Cal Newport with respect to these matters, he is an inspiration and part of the solution!
I don’t play much games nor I’m 50, but I believe you can do whatever you like that make you happy and relaxed, away from comparisons against your peers, I also believe age is a number compared to your “biological” clock, I have met elderly who were fun, inspiring, and positive to be around and full of young energy, on the other hand, I have met teenagers who are completely the opposite.
But it's super effective, the people that cost you the most leave without severance!
Thanks, yes that's perfectly reasonable. Cheers for the reply.
I really loved their series Hamilton's Pharmacopoeia. In-depth, raw drug making and taking by a serious (though odd) expert.

A shame they geofenced the shit out of it, forcing me to pirate it.
This is why making it this easy is a win for the government. 99% of the people are lazy and will just let them do it, basically giving them free money.
You might also find https://web.archive.org/web/20130512065149/http://www.andong... interesting. The theory is that since you only ever have a space after a comma, you can use it as a dead key, and just have ", " output ", ". That then frees all the other letter combos to be whatever key you want.

There are other keyboard layouts out there with the same concept too: https://github.com/workman-layout/Workman/tree/master/mac#wo...
> If NULL is a macro not defined as a pointer sized integer, then you're at fault here.

If it was you who wrote stdlib.h, sure; otherwise, if you’re on a platform where NULL is traditionally defined as 0 and not (void *)0, you’re stuck. A conformant implementation is free to use either definition.

If you want to language-lawyer more heavily, C does not require there to be pointer-sized integers (uintptr_t is optional), does not require that all zero bytes represent a null pointer in memory (unlike for integers), does not require that the implementation choose to store an integer with value zero as all zero bytes (there may be other valid representations), and in any case does not require an implementation to do anything reasonable at all if the caller passes an integer but a vararg callee looks for a pointer (think separate integer and pointer registers).

[I’m not entirely sure if (void *)(void *)0 is a null pointer constant (though it’s certainly an expression that evaluates to a null pointer)—does it count as a zero-valued integer constant expression cast to a pointer to void? So you might not even be able to use (void *)NULL as a hedge against bad platform headers.]
A tragedy of the commons has never been solved without centralized organization, and the “but the market will fix it!” responses are frankly just boring now
This is the strongest argument I had in mind. Another good source for arguments along these lines is The science of ADHD[0].

0: https://chadd.org/about-adhd/the-science-of-adhd/
Procrastination is a good thing. Don't put it off until tomorrow.
> AI detection software will inevitably be mostly snake oil.

Probably so. The problem, of course, is that the inability to detect AI authorship leads to the increase of general distrust of everything in society.
I don't mean because of some misfeature in the Kafka protocol, I mean because events are still coming in but have nowhere to go. Unless you built a spill as wide as your Kafka cluster. Which isn't worth it, so no one does it.
I'm an electrical engineer, I don't know much about biology.

Electrical is well-suited to modeling with ordinary differential equations. By making design decisions such that linear time-invariance is a valid assumption, we unlock really simple, powerful, and broadly applicable techniques for modeling, measurement, and control design.

Most biology isn't designed, which is probably why those papers had to jump right to much more advanced and specific techniques for modeling and control. With no useful on-ramp for most biologists, modeling and control will have to be a deliberate collaboration between two specialized disciplines.
Abortion bans aren’t “religious rules.” Abortion has been banned in officially atheist countries, like Stalinist Russia and communist Albania.

Conversely, the notion of a “right to abortion” or a “right to bodily autonomy” is for all practical purposes a religious view. It’s a belief about the nature of human society and the value of human life in its various stages.
Now do one on attempting to make a simple point via scannable/searchable text essays versus video-only content. I take a hard stance on that debate.
In C, the integer 0 is explicitly defined to convert to a null pointer for all assignments, casts, comparisons, etc., regardless of what the pointer's "actual" value is. The only time where you can see that a null pointer doesn't have numeric value 0 is when you manipulate its object representation with memset, memcpy, etc. The compiler is also at liberty to return whatever it wants when you convert a null pointer to an integer, except that converting it back must produce a null pointer (if it's at least as wide as intptr_t).
Funny how people keep saying writing is a terrible career yet so many want to do it. Most careers are not that good, tbh: low pay, bad work conditions, and or lots of hours. Top Substack authors earning salaries comparable to STEM execs, but have a platform (which is also worth a lot), full autonomy, as well as extra income from books and affiliate links etc. Not bad work if you can get it.
Can he uses GPT4 to answer them?
I hope H&R Block, Intuit and all the other parasites die as a result of this. They are a menace to society.
the h.264 route used by xpra is dramatically better than remote x-windows has ever been; x11 forwarding has never been great, for reasons including bufferbloat, compatibility problems, and excessive round trips, even if it's not nearly as bad as sixel
It's also good to remember that Jim is often wrong.

Last week I found myself procrastinating for hours because something was going to be hard, was vaguely defined, wasn't going to work... and in the end it turned out to be five minutes work to try the first thing that came to mind, which was enough to solve the problem.

So in order to fool Jim, don't think about doing that whole big thing you need to do. Just tell yourself you'll only work on it a little bit for, say, ten minutes. Jim can hardly object to that.

And then much of the time, you made some kind of concrete start in that time, and the objections disappear.
Funny enough ... I just listened to this 2021 podcast episode https://timharford.com/2021/05/cautionary-tales-fritterin-aw... that goes into some of what you're talking about (of course, it's different - but still amusing to me that the general topic is very similar)

Being a "chronic project starter" is not inherently bad

It may be "bad" or or may not be "bad"

I, likewise, tend to get bored with the middle parts between "idea" and "finalization"

I'm really good at architectural-type stuff - big picture, planning, design, pricing, etc

And I'm really good at detail stuff (get that bar chart 5 pixels further left, and 10% shorter)

The middle (ie really boring parts) ... not so much - I can (and do) do them: but they are distinctly not my favorite :)

The only way that has worked for me to move from "project starter" to "releasing projects" is to have an outside deadline imposed - whether it's needing a new chicken coop before the chicks are big enough to move from the mini coop, or something else: I personally need a hard cutoff from the clock to help me get there

Otherwise ... it just sits on the pile of "I'll get a round tuit"
Ask HN: Why did Microsoft nerf and neuter Bing AI? It was good but now it's junk
How is this a tragedy of the commons?
The software is nice and all... but the real problem is that the tax code is just way too complex. If you have properties, RSU income, other investment income, W2 income, and have to deal with multiple states you can have three different CPAs come up with three different numbers.

At the end of the day, if you're a billionaire earned income is a teeny tiny part of your earnings and most of it is kept unrealized for tax purposes. As a result, the doctor or software engineer ends up bearing a 50+% tax burden while ultra high net worth individuals are lucky to pay even close to the LTCG rate on all their income.

The tax system is oppressive under the guise of being "progressive" but really it prevents social mobility.
Companies hire and promote the best because the value they deliver massively outstrips their cost. If that wasn't the case, they'd already be pip'd out.

Using RTO to increase attrition is an absolutely brain dead strategy.
My home is nowhere near $750k, not even half of that. But every tax filing solution I've used has capped me at $10k deductions ever since the change.
"AI Detectors" are the new anti-virus - useless but once required by bureaucratic policy both unstoppable and profitable.
Come to think of it Diablo 4 too is shaping up to be the best Diablo since D2 days.
You can find 1000 products listed on their web site but 999 of the listings are bogus, fraud, or both.

Items you can buy off the shelf at Target for $40 are for sale for $70 at AMZN.

Some people get one day delivery, but other people (me) get five day delivery with Prime, particularly ZIP codes that have an Amazon distribution facility in them. (Everyone I know who gets 1 day delivery has a Cheesecake Factory in their town... But for Christ's sake I order things from Japan on Ebay and get them before I get things from the AMZN warehouse in the next state.) I guess they think I want to watch Rings of Power so bad I'll subscribe to Prime anyway but you know... I don't.

My understanding is that the online store consistently loses money, they are a going concern only because of AWS. But guess what, I've already moved enough spend from AWS to Azure that subjecting me to 5 day delivery cost them much more than it saved.

As for replacements, see every other retailer that sees fulfillment as a way to make a positive impression. Adorama, Best Buy, and Target just to name a few. It's true that many of those have bizzare limited product line ideas (e.g. Best Buy sells Sony camera bodies but has no real selection of lenses but they think I'm stupid enough to buy a Samsung washing machine which is not a good choice unless you want to buy another washing machine in a few weeks) but the product listings are basically honest outside AMZN.

Long term see Temu and other asian retailers. When I look at arXiv I see a large literature in "sequential reccomendation" almost entirely by Chinese and Indian authors. Looks like a "missile gap" for e-commerce and social commerce if you ask me.
> The vast majority of people take the standard deduction

Unless they are a homeowner, probably.

Part of the issue is that the US tax code is a lot more complex than most countries. (And the homeowner-targetted deductions are kind of insane and bad policy too).

Still, I don't disagree with the basic premise. They probably know enough to know if itemizing your homeowner-related things would be better for you, and do it that way. You can ask for adjustments, or you could always ignore what they calculate for you and do it all yourself from scratch if you wanted to, a thing I believe you _can_ do in European countries that generally calculate your income taxes for you?

Also, I wish our tax code werent' so insane.