skysight-inc/HackerNews huggingface dataset:
> Better type information. Because the program is always in a valid state the type checker can always run and give meaningful feedback.

Note that programs can be syntactically well-formed but ill-typed. For example `let x = true + 1` has valid syntax but produces an "undefined" type for the variable `x`, if the type system does not support type error recovery.

A quote from the great paper from POPL 2024, https://hazel.org/papers/marking-popl24.pdf

> If a type error appears _anywhere_, the program is formally meaningless _everywhere_
Teachers aren't dumb here; they know what's going on. And they're actively working to figure out how best to navigate this situation. They're not looking to grade how well ChatGPT does in their course.
As someone alive back then, they were also quite expensive, and only a few had them.

I bought my typewriter around 1990, a plain classical one, where I threw lots of paper away, learn to use corrector tape and ink to save them.
The guy likely to take over is going to use non-emergency powers to curtail the rights of trans people.

The sanctioned individuals were involved with blocking an international border. They had the stated intention of causing mischief and preventing leaving or entering Canada. They were blockading their own economy; they deserved what they got. You don't disrupt life and economy just because you've been asked to help keep a virus from spreading and get to get away with it.

And now we'll curtail the rights of people who absolutely do NOT deserve it.

The lurch to the right is deeply inspired by attitudes like this. We even have the Premier of Alberta claiming that unvaccinated people are "the most discriminated against group in history", which, whatever "side" of the vaccination "debate" you fall on, you know is an unbelievably stupid thing to say.

Please, help prevent a drastic lurch to the right by at least reading the lede of an article as well as the headline.
The average error is in fact 0! The average absolute error is reduced but not 0.
Companies bread much faster than humans can. So in that new internet where we ID every participant we should not equate company and human. And fines are not the solution as some actors can buy their way out with unlimited funds (compared to regular human)
Roadmaps and Other Lies About Time
I think it's pretty pointless to discuss the pretextual judicial justification for something that is just raw politics. Trump will decide if Tiktok is banned, it's as simple as that. You don't need to analyze the supreme court case, it doesn't matter. If Trump is motivated to get rid of it, he'll find a way. If he doesn't want it sold, he'll find a way. What exactly is the supreme court planning to do if Trump just ignores the ruling? What exactly is Tiktok planning to do if Trump chooses to attack it? Trump has all 3 branches of government and is constrained by no norms. He can simply do as he likes and focusing on the legal arguments just looks a bit silly.
Ran into a bug where a double tap zoomed the page and it broke the game as I could not zoom out again. Unfortunately it does not save the progress in a cookie.
Countries with two parties often collapse into inaction where nothing ever changes too.
An evaluation framework for clinical use of LLMs in patient interaction
There's nothing absurd about it, our society is not built about making people with a lot of likes comfortable, it's built around making people who own stuff comfortable.
Sorry, I am being ambiguous myself. I meant that your interpretation of this specific sentence had not occurred to me:

> We now ask the question, "What will happen when a machine takes the part of A in this game?"

I think you are right about what Turing meant. But it had honestly never occurred to me before that this description of the game could be understood as a description of the standard 'Turing test'. So, for this reason, I had always been sympathetic to the point that the standard Turing test does not appear to be the test that Turing describes in the original paper.

Here is a paper that makes your case, in case anyone finds it interesting. https://www.researchgate.net/profile/Gualtiero-Piccinini/pub...
Google's notoriously terrible customer service strikes again!
Unfortunately you can't mute the podcast in the same way -- that's what finally forced me to close the tab
Lovely ending, and I appreciate how short this one is. For me it really does induce some mixed feelings for what we did to the web while at the same time I really enjoyed the nostalgia.

Another game I sunk way too much time into to get to the end is Idle Loops which ends up being kind of like programming once you get deeper into it:
https://dmchurch.github.io/omsi-loops/
(There are three versions, all open source on GitHub – this one is the third in the chain of forks, with the most updates)
For VR applications, you essentially need to split the resolution per eye. So if you want a 4K view, you’ll need at least an 8k signal.
whelp this is making this meeting go way faster
The CEO class has a vested interest in maintaining the status quo.

The Chinese government has a vested interest in American instability and sowing chaos and further economic dependency on China

So I guess you could say bothe of these are “our adversaries” depending on your point of view
Would you trust a healthy guy?
It was signed into law in 1990.

https://www.history.com/this-day-in-history/americans-with-d...

> Despite pressure from some church groups, who felt the ADA unfairly burdened them, the bill passed the House by unanimous voice vote and the Senate 76-6, paving the way for its signing on July 26 by President Bush, who said, “Let the shameful wall of exclusion finally come tumbling down.”
All broadcast studios are equipped with master clocks that show seconds to deal with this ambiguity.

You can look at your own watch and anticipate when program transitions in radio or TV are supposed to take place (usually the minute and 30 second marks). Also, get a sense when a host is filling time to get to the transition.
Not talking about the competition. They failed to deliver what they had in demos. Clearly they were hoping to get it right in the last minute but seems far from the truth. All I wanted was a better Siri that played really well with native iOS apps. We dont have that yet and I am not sure if its purely a lack of power with on device models or if apple completely missed the mark in implementation.
Democrats didn’t ban tiktok because of china, it is also piled on as a reason. They banned it because some donors got mad that their grandkids were hearing anti-israel stuff. Remember, Trump tried to ban it several years ago and then everyone forgot about it until the images started coming out of Gaza last year. When considered this way it is a grotesque 1st amendment violation, but they'll probably get away with.
> economy, healthcare costs, housing crisis, and... far left ideology

One of these things is not like the others. Could you elaborate on how 'far left ideology' relates to the others in terms of the supposed fall of our country?
Time Cube redux?

https://en.wikipedia.org/wiki/Time_Cube
So your basis for saying "one of the best word processing products at the time." is that a different company made a different product inspired by it (and WordPerfect)? I don't think that is a persuasive argument.

If you said MacWrite was an innovative word processor, I would not have replied. Most innovative is not always the best product at the time.
> Has a colony ever conquered its colonists' home land?

Yes, for varying definitions of colonies and colonists. (Practically every pre-modern empire’s collapse involved a periphery looting the core.)

> Is turnabout fair play in international law?

To the extent we are departing from the rules-based international order, Musk has long left it behind.
At a certain point a tool can coddle you too much and start to impede your... humanity. If I am trying to learn woodworking a robot that will build whatever I tell it to is not a great tool. There is some perfect middle point where tools allow you to channel your creative vision without imposing on it. LLMs for homework take it too far, the kid in this example is just copying text between a computer and a piece of paper, the human input is totally gone.
If you use round instead of floor an error persists. So all clocks that don't show seconds are always wrong.
It isn't required by law, it's required by people who would sue the pants off it if it didn't kowtow to them.

Which is way scarier than something required by law. Law can be lobbied about and changed. Law has limits. Law can be ignored when you are rich and powerful.

Lawsuits from megacorps, on the other hand, cannot.
I don't disagree, but ecological impacts aren't addressed by one big magic bullet solution, it's a game of adding up pennies.

This is after focusing a lot on the other personal emission sources, but OTOH "install uBO and set it to Easy Mode" is one of the cheap and easy (low-hanging) interventions. Incidentally I generally watch videos at 360p, unless it's a lecture with small text on slides. Most 'taking head' content is just wasted pixels at higher resolutions.
Well it doesn’t really require a forecast - variance based anomaly detection doesn’t make an assertion of the next point but that its maximum change is within some band. Such models usually can’t be used to make a forecast other than the banding bounds.
This reminds me of a project I worked on during my PhD, where you create a network of scientific documents and notes/threads via Markdown, with a similarly structured "rabbit-hole" linking system: https://github.com/rkp8000/hypothesize . I'm not really a software engineer so never made it ready for general use, but I'm very happy to see a similar idea turned into something real! Kudos to the authors.
This is such a tired troupe.

Yes, anyone can sue over anything. No, you won't win a stairway lawsuit if the stairways are maintained and other alternatives exist. You are unlikely to find lawyers to represent you (at least not on contingency) if there's nothing wrong with the stairway. A good lawyer would advise you not to sue.

This is a bad argument because it assumes that lawsuits over injuries are always easy to win and costly. They aren't.

Here's a California slip and fall ambulance chaser laying out exactly these facts. [1]

I know it's likely stairs killed your grandma but give it a rest. As I stated in the beginning and gave facts/figures for, stairways are safe for most everyone. Just avoid them if you've been drinking or you're old.

[1] https://www.salamatilaw.com/slip-and-fall-lawyer-los-angeles...
I agree in principle with diversifying your online presence, but as a practical solution it doesn’t solve the problem. It would be like if someone came to you about a termite problem in their house and you told them the solution was to have multiple houses. At best that is a defense mechanism not a solution.
Could be.

In SnowCrash, I think there were some subplots talking about the fighting was somewhat real between franchises.

And you could become a citizen of a franchise state.
> effectively holding our economy hostage

This is what a protest is. (French here). If protesters go as far, and in Canada it was because you did them dirty, then you must sit at a table and negotiate. You must sit at a table and negotiate with everyone in a country. You cannot do someone dirty then complain that they protest.

It’s effects removing the right to protest, and therefore, removing democracy itself. Go live in Singapore?
So a few of them had guns then?
> […] against the peaceful protestors.

At some point they stopped being protestors and became occupiers. There is no Charter right to occupy—as the pro-Palestinian folks also learned [1] (which was simply re-iterating previous precedent, see perhaps [2]).

[1] 2024 ONSC 3755

[2] 2011 ONSC 6862
> Is it the same for the current minute of the current hour ? I'm not so sure.

Yes it is. Appointments start at the beginning of the minute, not the average. (And while changing clocks WOULD change that, I'm not sure it makes a lot of sense)
> she uses chatgpt on my account

Don't let her do that. Blows my mind that this one weird trick isn't suggested in the top 100 comments.
Please don’t gaslight. You have been extremely rude and a huge jerk from the first comment. Don’t try to spin this like I am attacking you. I am simply saying your command of English is quite lacking in civility and you keep doubling down on it. There is a reason you were down voted.
South Korea's Presidential Security Service vows to harbor fugitive president
ADA compliance is always a struggle in the US, but if you travel around the world, the US is leaps and bounds ahead of many places that don't even have the equivalent of the ADA to fight for.
> You seem to believe in the primacy of FPTP voting in itself. That’s the difference.

You seem to be reading things into my words that I didn't say.

I get that more representative is good. I get that FPTP isn't that.

But what I said is, when their complaint is that the Conservatives keep winning, that makes their whole argument suspect.
Show HN: A website builder for agencies with unlimited lead collection
Just wanted to share a project I launched today. Pagestacks.pro

What it does:

- unlimited lead collection for $0 a month

- No-code builder (similar to webflow)

- AI integration for website copy generation

Appreciate any questions or feedback. Thanks!
This is another way to determine if a company is a "start-up"! If you work at a company that has OKRs, it's no longer a start-up or it's time to bail because said start-up is about to fail.
How do you figure that? Isn't Harvard very much about the network of contacts?
The challenge is we don’t have an alternative, at a small company your performance boils down to “does the ceo want to fire you?”. The extent to which the ceo does not want to fire you depends on the reasonableness of that CEO, as well as how much the CEO cares.

In an established small/medium business with flat growth, it’s entirely possible that no one cares to fire anyone, sits also possible the CEO expects everyone to work nights and weekends while being a top competitive coder.
BBB accreditation is a big deal for most major companies, and it includes an obligation to resolve issues (exactly like this one) with their arbitration. I've used them 3 times, with 3 positive (and rapid) outcomes.

Next time you have a straightforward 'they're wrong' issue with a company where you're getting outsourced flowcharts for support, try out the bbb. They're great.

Small claims would obviously also work, but that's a major investment in time/bureaucrazy, while a bbb complaint can be completed online in 10 minutes with maybe one or two brief follow-ups, but usually all it is, is them getting in contact with a human who can do things - and for cases like this, they obviously try to make it right.
The Australians have already accomplished this.

https://en.m.wikipedia.org/wiki/Rupert_Murdoch
Out of curiosity, how is the housing & health care situation in those conservative provinces compared to other provinces (like Quebec, where I live in)?
In Southern Europe Apple hardware has always been the most expensive one among systems for home users.

Hence why I had to wait until university to actually see them outside computer magazines, and only one room had them on the computer labs, versus the whole campus filled with PCs and UNIX terminals.
If you do care about what second it is, you can still be 59s off: eg. if the "rounded" clock shows 12:30, it could be 12:29:30 all the way to 12:30:29.

The error is reduced on average if you only care how far away from exact minute you are, but you simultaneously never know when it is the exact minute.

The question is really about what's more generally useful: the offset of 30s is usually not important enough, which is why most clocks only show hours and minutes. Where it matters, higher precision is used.

Some of the social constructs would be less meaningful (like New Year countdown) as most watches and clocks would show midnight 30s early.
Exactly, this article can be summed up on one sentence: "Look at me, I'm so clever"
Truth Social and Gab are quite similar, but smaller still. The intent here is clearly to punish foreign influence, not domestic and that's the first amendment carve out being used to push this through.

X, Truth Social and Gab are all malign (and arguably little better than 4chan or 8chan as homes for civil discussion) but are domestic in origin.

I'd rather wade into the ocean than join any of the above, but they aren't subject to the same legal carve out.
new manager then can slowly fire and hire according to new goals.
Students do the work via ChatGPT. Teachers create assignments and grade them with ChatGPT. It's a giant self licking ice cream cone that doesn't educate anybody and fritters away a lot of wealth while using several nuclear plants worth of energy.

It does in the short term solve the problem that kids hate doing schoolwork and teachers hate doing their jobs.
LLMs must not have an identity
But the human-ness of the person inside the room is not important. It's just there to follow simple instructions. I think Searle (https://en.wikipedia.org/wiki/John_Searle) put a human in the room to help us empathize and understand that the person in the room doesn't understand Chinese. It simplifies the argument by avoiding the introduction of computers into the setup.
I love 3blue1brown and have followed the channel for years. One of my absolute favorite content creators.

But I think you're vastly overestimate how popular he is compared to other channels that have gotten copyright strikes, or how much YouTube/Google care.

I also don't love YouTube's policy, but are you so confident there's a better policy out there?
WordPerfect and WordStar were always pretty yuck IMO once newer generation products came along. I was pretty much a fan of Microsoft word even in the DOS days. (Even Multimate which was basically a DOS clone of a Wang product.)
I clicked the audio icon on the tab -- it muted the entire thing :)
You can’t depend on any particular job to survive either. Does that imply OSHA is useless?
Generating Cognateful Sentences with LLMs
I built an app that teaches French by generating "cognateful" sentences: French text that English speakers can partially understand through cognate words, with difficulty automatically calibrated using LLMs to score sentence comprehensibility.

The project shows how AI can automate the creation of comprehensible input for language learning, replacing the traditional approach where native speakers manually craft thousands of carefully sequenced sentences.
I still keep a 5 DM coin in my wallet. DM was the best!
I use it this way for my own writing. I think this actually a good use. It allows for rapid feedback in away that doesn't require teacher time, and can help a writer grow. Of course LLM feedback should not be treated as gospel.
You might see a need, but it isn't going to happen, especially in small and medium sized businesses.

Wine and Proton work for many things, but far from everything. Plenty of games don't work well on the Steam Deck.

Ergo, Windows isn't in any near-term danger. As far as Android and iOS being markets, sure. So what? It doesn't threaten Microsoft that there are additional markets.
Article is very interesting and focuses on the historic faces of DARPA, not really getting too much into the modern state of the agency. Over the past 10+ years DARPA have embraced the OTA - other transaction authority - as a contract vehicle to allow DARPA PMs additional flexibility and speed in letting contracts. This has allowed, perhaps, a return to more of the ideas of the old days in which a performer and PM might seek that "meeting of the minds" mentioned in the article, and issue funding to start work.

A real limitation perhaps that DARPA has is the 3-5 year PM timeline. PMs start with a project and vision for their work, often a multiphase effort. We often joke that the challenges DARPA offers are not all that difficult, only the schedule is. A few years ago I worked on what would have been a wonderful project on a 2 year timeline which was compressed to half that, with the usual shifting sands of requirements consuming the majority of the allocated time.

I can't say that giving PMs a longer timeframe would be a good thing - that 3-5 year PM clock keeps everything moving apace. Perhaps the longer-term programs ought to be given by the office directors to PMs, but then you have the disadvantage (mentioned in the article) of PMs having to execute a project they don't believe in. That hasn't worked well; disengaged PMs, focused on their passion projects, don't give the needed attention to inherited assignments.

The future of the agency is concerning. Given increasing time and funding limitations, coupled with the Heilmeier focus, there's been a tremendous push towards immediate results. Which means simpler targets that don't provide the amazing leaps ahead that DARPA was once known for. Look to their current SBIR topics, which include one on the use of language models for suicide prevention, and another on processing data to generate facility clearances. These are not leaps ahead, but instead incremental, focused improvements. We once lost a DARPA proposal because our plan was too certain to work, they wanted more risk. Quite a change.

DARPA still hires visionary PMs, and they have the tools again to realize these visions. I hope to see a return to the DARPA referenced in the early article. It will be fun to pitch ideas to those guys. I'm tired of talking to the ones who are too focused on today to think about tomorrow.
This is a good point. There's tons of times when I'm watching a clock to watch for a precise moment (like buying concert tickets, limited edition merchandise, stock market opening). Losing the ability to see when a 12:00:00 happens would be annoying
No. I have worked on meaningful projects, and I don't get any legitimate unsolicited recruiter contacts anymore.
I found a good balance with Tiller (https://www.tillerhq.com/). It gets everything in one spreadsheet where I can query and get quick summaries with ease.
Hold Enter, click the reward from the hydraulic press, profit!
I enable seconds on my PC and phone clocks, and basically anywhere it's an option. I enjoy seeing if two messages on IRC were just 3 seconds apart as it will often tell you the second person hasn't actually read the first person's message right before theirs (they were probably writing their messages at the same time). Something not obvious if you just see the minutes.
Last year, sure. Not over the long run. If it's outside your 401(k) the value of your money is going down due to inflation and taxes.
I love this question. I was just thinking last night: do kids still carry around books? I have no clue what modern American primary education is like. I expect that I'll be surprised.
The technically correct thing to do would be to educate on precision, perhaps even display it, such that people know that 12:00 means a time between 11:59 and 12:01, not 12:00.000.
I've received professional advice from lawyers multiple times (related to SEC, related to FBI, related to local police, related to international police):

"Every time you talk to an entity with enforcement capabilities, you significantly increase your chances of receiving an enforcement action. My clients that maintain a strict policy of never engaging with [regulators, police, justice] all have significantly less enforcement actions than clients who agree to be witnesses, report potential crimes, or otherwise take steps to be a good citizen." (Paraphrased, but I've received advice like that across many areas of justice/regulation)
Are you trying to compare an emergency vehicle -- which is there to save someone's life -- with someone blasting a train horn outside your house to harass your neighbourhood as a deliberate political tactic? Are you looking to imply that all noises, for all reasons, at all hours, are equal, and therefore what they did is beyond reproach?

As a follow-up question -- were you impacted by this event? Were you there, even momentarily?