skysight-inc/HackerNews huggingface dataset:
Rice's theorem means you can't choose to decide if a program is correct, but you have to choose an error direction and accept the epislon.

The Curry–Howard–Lambek correspondence is possibly a good tool to think about it.

The reason I suggested graduate level complexity theory is because the undergrad curriculum is flawed in that it seems that you can use brute force with a TM to stimulate a NTM with NP.

It is usually taught that NP is the set of decision problems that can be solved by a NTM in polynomial time.

But you can completely drop the NTM and say it is the set of decision problems that are verifiable by a DTM in poly time.

Those are equivalent.

Consider the The Approximate Shortest Vector Problem (GapSVP), which is NP-HARD, and equivalent to predicting the output of a 2 layer NN (IIRC).

Being NPH, it is no longer a decision problem.

Note that for big 0, you still have your scaler term. Repeated operations are typically dropped.

If you are in contemporary scale ML, parallelism is critical to problems being solvable, even with FAANG level budgets.

If you are limited to DLOGTIME-uniform TC0, you can't solve NC1- complete problems, and surely can't do P-complete problems.

But that is still at the syntactic level, software in itself isn't worth anything, it is the value it provides to users that is important.

Basically what you are claiming is that feed forward NN solve the halting problem, in a generalized way.

Training an LLM to make safe JWT refresh code is very different from generalized programming. Mainly because most of the ability for them to do so is from pre-training.

Inference time is far more limited, especially for transformers and this is well established.

https://arxiv.org/abs/2309.06926
Canadian here. It's certainly not normal. News broke yesterday that this was coming. The opposition kept tabling no confidence votes and trying to get an early election called... and Trudeau's approval rating is so low that it might even be the lowest of any Prime Minister in history (though I don't know so if someone does by all means fact check that).

However, our upcoming election is this year. It certainly does not surprise me that Trudeau is stepping down from leader of the Liberal party in light of the polling, since the polls are predicting that if an election were called today, the conservatives would win in such a landslide that I don't think many countries have even seen that before. Of course polling and actual election results are two very different things... but I think the Liberal party sees the writing on the wall. If they hope to have any shot of getting re-elected, they can't do it with Trudeau at the head.

... but that doesn't necessarily mean that we all saw him resigning as PM incumbent coming. He's also proroguing parliament until March. This is probably a move to get the other parties to step back and "STFU"; to not pass any motions during the party shift (particularly related to calling an early election etc).

Lastly, as others have said, the PM position is usually held for an average of 9-10 years (and that's multiple terms .. most incumbents just get re-elected into second and third terms). Trudeau was elected in 2015 so he's about due to exit anyway if we go by averages (though some have served longer).
One comment does not negate the other. It is traditional in most jobs to give notice before resigning. In government, it typically is the same unless for resignations. Being forcefully removed is closer to being fired/sacked with termination being much more suddenly
I'm having trouble learning anything from this stream of disconnected, time-sorted tweetlike objects. I'm posting this on the off chance that a better article exists, and someone can point me to it. I assume it's too early for that though.
theres good books on linking and loading but figuring out how the toolchains really work (gcc, ld etc.) can definitely be a pain. the tools.do provide all you need for it but you need to find out how to extract that from them. also a l9t is dependent on your knowledge about platform, abi, filetypes etc. etc. so reading specifications for those also helps to decypher meaning of possible commands, link files etc.

why its mostly skipped is i think because most platforms that provide the tools will try to also provide sane defaults for this stuff, so you rarely need it. you dont need to invoke LD if GCC can do it for you etc.
I've been unemployed from the finance world for ~18 months now. I've applied to over 1000 jobs (per my LinkedIn), though lots of those jobs just seem to be evergreen reposts on LinkedIn & not actual jobs. It's absolutely demoralizing.
So yes big corp is going to go out of its way to make it harder for people to give it money?
I get not loving the "Apple invented everything" mantra some people have, but the iPhone genuinely redefined the smart phone category. The industry has 100% coalesced on the model invented by Apple. Nothing like this existed as a full package before the iPhone and now are almost universal:

- No physical keyboard + touch keyboard

- Modern OS kernel (not embedded specific kernel)

- Desktop browser engine

- Capacitive touchscreen + finger instead of stylus - one or two phones had capTouch before, but they were far from standard, and they still had physical keyboards for typing

- Vertical by default orientation

- Short 1 day battery life in favour of more power/features (weird to list, but was a bold move everyone mocked then followed)

They totally took out the existing market (Blackberry, Windows Mobile, Symbian, a variety of OEM OSs). Android succeeded but came after, still had keyboards on its flagships the years after iPhone came out (G1, Droid), and took these design cues from iPhone.

The Mac GUI with mouse+keyboard+windows was also huge. Admittedly not first to invent it (Xerox PARC), but first to ship it as a package is still hugely impressive. Few people commercialize a new product before it existed in some lab.
i disagree, or at least i don't consider myself to either of these groups.

i think there is still a large enough group which is there to share work / projects
it’s a generalized statement. Obviously a curious person can read and learn as much as they want on the internet.

did you read hacker news before you became a nerd (like myself)? probably not. I didn’t even know it existed! Why? Because nobody told me about it and my social circle growing up was mainly into video games and reading books. I only heard about it after i branched out in college and studied computer science, and eventually got my first job in tech. A colleague recommended it to me.

Nobody is going to randomly search “how to properly dispose of trash” lol. People typically get into an echo chamber so to speak, limited by their social circle. If nobody else around you cares about trash disposal growing up, what are the chances you will randomly show an interest in that? Very slim IMO. ESPECIALLY if the main thing on their mind is putting food on the table for their family.

Worrying about garbage disposal best practices is a LUXURY not every society has and i think you forget that. I’m not criticizing individual people at all here.
As someone who has gone back and forth between Windows and Mac OS... if Apple would stop trying to force me to log-in to use features I don't need, they would have a more compelling case. Windows is indeed a horrific data mining operation, but Apple's own endless push to enmesh me in their ecosystem is about as irritating. And Windows has WSL, which has value to me at work.

(And outside of work, Apple punted on games, which means I will always buy a Windows or Linux computer.)
This was definitely expected, people within and outside of the party have been calling for Trudeau to resign for a while and that chorus has been getting louder and picking up more prominent figures.

I suppose standard procedure in a Westminster parliament is to have a non confidence vote and an election - which is what the opposition parties said would happen when Parliament sits again. Poroguing parliament and having a leadership race is probably a way to try and avoid that or at least go into the election with a less unpopular leader.

Proguing parliament is probably the best thing for the liberal party to avoid an election with an unpopular leader. But I don't think it's good for Canada as it states down Trump's tariffs
Microsoft Remote Desktop is 100% great on iOS (if not MacOS) in my opinion. I never feel so stylish as when I show up at a hackathon with a tablet + $20 bluetooth mouse and $30 bluetooth keyboard (how did they convince people to spend a few hundred on a special keyboard or to buy a 'hybrid' computer that will leave the airline stewardess at a loss to know if you can stuff it in the pouch in front of you?) and the mac books and gaming laptops look clunky in comparison. And that's backed with a 16 core machine with 128GB of RAM and a 4080 if it's my home machine and I can rent something much larger for a few $ an hour in the cloud. My only beef is they want to call it the "Windows App" now.

(At the least the Apple AAC encoder is good. That plus a Python script can copy music files to a USB stick in the right order so they display properly in the music app for my car... And that's what a good music app is to me, not something that wants to push me to buy a $1000 phone and $100 a month plan so I can crash my car screwing around with my phone.)
I submitted an address update for a hackerspace to Apple Maps last week, which only got the business marked as "permanently closed".

Whichever firm Apple's contracting out to review Apple Maps reports isn't doing a good job.
> Put millions of ASTs in a database.

That's basically what unison does, they store the source code in binary format in an sqlite database.
I’m withholding judgement on Apple Intelligence until iOS 18.4 is shipped in May. That is when they plan to release a revamped Siri with better contextual and personalized responses. For instance, AI/Siri will be aware of what is currently on the screen when responding and also integrate personal data across apps.

Ultimately Apple’s strategy of a privacy focused AI will be a winner for a consumer device with access to sensitive personal information. It’s a question of whether they can pull it off technically.
An Extension to Badge Active Learning for Variable-Sized Batches
love this, great work.
For liberals to give up power in both Canada and US so hurriedly, there must something really bad brewing that they don't want to be blamed for.
Those points don't come from nowhere, they come from the business you're buying from. For local businesses, I'd rather I keep 1% and the business keeps 2%, than Visa takes 3% from the business and gives me 1.5% back.
Coins last much longer in circulation than bills, a coin can last decades while a bill only lasts a few years so some estimates put the yearly savings at 500-700 million a year in printing, paper, etc costs saved. It's worked just fine in other places they just had the courage to phase out printing of paper bills to force the issue. People would adapt quickly given no option but the soft handed approach basically guarantees people won't encounter the new coins regularly.
The Better Business Bureau is a private organization with zero power to enforce any agreements or judgments. At most, it was Yelp before the internet.
For the next month, every time you find something interesting on Twitter, go to the source. Look for their RSS feed - if they don't have one, ask them to work on implementing one both via Twitter and via their contact form.

I don't know if it's still the case, but there used to be RSS feeds for Twitter accounts too.
The frustrations are certainly similar:

> Trudeau has faced mounting pressure to resign amid polling that showed his ruling Liberal Party was likely to be swept out of power in the next election by the opposition Conservative Party. The prime minister has also become deeply unpopular over a range of issues, including the soaring cost of living and immigration. His leadership as further thrown into question when his finance minister abruptly quit in December.

https://www.newsweek.com/justin-trudeau-resigning-support-co...
Would it be possible for it to not happen right away? They are in a minority government without a PM, I really wonder if there's a way the elections aren't triggered basically instantly.
There’s some impetus to stay on to bring some stability when Trump comes into office. A Shock Doctrine approach (new leader at the same time as the US gets one) is going to create an environment where a number of regressive policies will get pushed through.

There’s a good chance Trump will say that he endorses Pierre Pollievre in the coming months causing a number of Canadians to turn their nose at him. This is also a calculated risk.
So? "The rules need to be changed because the wrong people keep winning" sounds very suspicious to me.

If the situation is as you describe, what really needs to change is that the two left parties need to merge, or one of them needs to become such a marginal player that it doesn't matter. If the leaders of those parties can't or won't do that, well, then you get the situation that you have.
How do you measure best?
Based on usage, sales, or fraction of published text created - Wordperfect or Wordstar were way ahead of MacWrite.

MacWrite was the best in a niche market of personal newsletters that wanted graphical elements. More professional desktop publishers used Aldus PageMaker.
And big publishing houses didn't use PCs or software, they used offset lithography presses.
Ah - you can turn this off with keyboard - text input - input sources - edit - show inline predictive text
You're basically explaining why the Macintosh stayed niche when it came out. People saw the barebones WYSIWYG of WordPerfect 4.0 on PC in 1984 compared to the true WYSIWYG of MacWrite and they said: It's what we already have, why would I need a Mac?
For what it's worth, this article has given me ample moral justification for the disdain I show for cold-callers and relationship-based sellers alike (though typically I'll be openly hostile only to the first group): I don't owe them anything, even people I work with over a period of years. As long as they're trying to sell me something, I have the thing they want and not the other way around. What's truly astonishing to me is that so many people I work with don't see the con and think their "relationship manager" actually cares about them and is genuinely trying to get them a good deal. No, they're trying to sell you underbody coating and should be treated accordingly.

I remember one guy, years ago, who ended a 45-second year-end cold call with me with a "Come on man, I have a family. At least hear me out!" I responded, "Get a better job then. I have work to do." As a moral human, I feel sort of bad about that response, but then I remember there's a substantial likelihood he was lying to me to keep the call going to score a sale and the grift depends on me being moral.
I know some car listing sites (used to, at least) offer ad products to dealerships that would post their inventory on FB Marketplace as well.
Diffing is really an interesting point. Git is quite (maybe very) good. I wonder how much better a structured approach could be but it's obviously a large amount of work that I don't yet have time for.
https://www.nerdwallet.com/article/credit-cards/credit-cards...

People spend more money and tip higher when they use credit cards than cash….
You underestimate what people pay for. I fall into the same trap though.
> and a single right party

No longer true. Canada now also has the PPC - the People's Part of Canada (see: https://www.peoplespartyofcanada.ca/).

> even though the majority of the population may not agree with them

Well that certainly won't be true for the upcoming election.
Yeah you're right, I guess it was more the general fashion motif of long baggy pants being associated with revolutionaries/bohemians/anti-aristocrats.
>'The intent was not to get at the families', and when a democratic government starts a sentence that way something deeply #&$#ed up has happened."

Wait, are people that shocked that their democratic governments are wiling to act like mobsters/dictators against a minority group just to get their way and appease a majority, when the history books are full of such examples? People must have a short memory then and why history repeating itself is a fact.
While I agree with patio11's assessment here, if you were to poll the average Ottawan about the trucker protest, you'll largely get back a response of "#&$! those people", soley because they were minorly-inconvenienced by them.

Canadian politics (not uniquely here) is plagued with petty squabbles. The really meaningful political and social issues don't get any airtime.
Not that I am aware of. There is a bite size interview he did regarding German politics [1], where he summarizes his views on several topics in a few lines. Much of it is applicable to the US as well.

That said, I think very few people have a rationally cohesive world view, but rather a diverse set of conflicting heuristics they apply.

I suspect his views are similar to the more coherent Peter Theil, who has written much more extensively about his philosophy and world view. I would recommend looking into his major political essays, starting with The Straussian Moment [2] [3]

https://archive.is/bm9PX#selection-3371.0-3371.20

https://gwern.net/doc/politics/2007-thiel.pdf

https://www.startuparchive.org/p/the-essays-talks-and-interv...
Microsoft would like you to replace your old Windows 10 PCs this year
With that mindset, you’re not going to accomplish anything at all. The same stagnation occurs with the switch from imperial units to metric.

If modernising things is so scary you better not do it, other people will force the change on you, for better or worse, but you’re out of the loop.
It was one of his core promises back in 2015. He almost instantly broke it when he got elected, by saying it won't happen.
And people spend more when using credit cards than paying cash…

https://www.nerdwallet.com/article/credit-cards/credit-cards...
Along the same lines, I recommend Retool's retrospective article [0] about pipes, for some of the perspective on how it looked from inside yahoo. I'll grant that, towards the end, it is an ad for their service.

[0] https://retool.com/pipes
I'd really like to get to the point where I have a library of transformations and you can make your own interface. Already the click ui and hot keys ui call the same `insert_function` or `assign_to` functions. Adding a ui with lots of dragging or voice control should be trivial
Firefox 134 Available with Experimental HTML "Autocorrect" Attribute
In a functional organization, personal interests are balanced against ideals, decorum, and the interests of the group.
That used to be the standard apology for Microsoft products, where Mac OS app developers "sweated the pixels", i.e., delivered products that were pretty much on target at launch.
Is Canada better today then when he started as PM? I struggle to agree that it is. Housing is as bad as it has ever been and the immigration decisions seem to have been so careless that even people that would agree with immigration as a general principal are horrified by it by and large. The Canadian dollar has collapsed VS the USD.

I guess it always ends bad if you stick around long enough.
The printed design has remained the same but the form factor has been pretty static for the last century or so. Things like bill readers are a big reason for that once they appeared it became a lot harder to swap around bill shapes.
That's true, but totally dismissive of what works and doesn't work for some people. A number in some app (that I annoyingly have to 2fa into) which I have to check on a debit card balance isn't at all helpful if you don't actually check it. For the obsessive smartphone app checker, I'm sure it works, but ask all your (close) friends what their current credit card balance is. I bet no one is closer than $100 and some probably aren't even within $500.

By the time the card fails a transaction and is getting denied because the card, I'm already at the whatever store and have to give up the purchase in a hugely embarrassing way. A physical bit of cash that you have in your wallet and at home is, well, physically present and simply feels light when you're running low. A debit or credit card with a number in some app does not do that.

2fa is a large blocker here, and while it's understandable from a security practice (so I'm not any to turn that off), it's enough friction to not be convenient, and that's assuming you configure the banking app on your phone because you're not scared of attacks to your phone SMS (which you should be).
The point that guy is making is that we DID have regulations to control broadcast content, and it sucked.
Of course you’re technically right (you can absolutely write buggy code with Rust) but what others are saying (and what I have also anecdotally observed) is that Rust seems to have a much higher probability of new code just working (bug free) once you’ve cleared the compile step. The only language I’ve used that worked like that was ocaml and maybe Haskell (though I only dabbled in that).
was anyone trading this on the prediction markets? only checked Polymarket, saw 3, but they didn't look very large

could have been a good time!
Export Control Diffusion Confusion
We could look at the diet of the species most closely related to us chimps which is mostly fruit nuts, tuberous roots, insects, and opportunisticly meat (about 2%). You could bump the meat up a few percent to avoid bugs or add more nuts/legumes and acheive a healthy diet.
I remember when he first ran that was one of his planks.
Interesting to see US Mint site on the HN. Few interesting facts from someone who is collecting US currency for 20 years:

- these are great gift items for your rich friends or businessmen. The $1 sheet does come with only slight overcharge and everyone I gifted ended up hanging it in their office wall. Its a great conversation starter because majority of people do not know US dollars are produced in sheets nor that civilians can easily and legally purchase them off the US mint site.

- on the downside I almost missed my international flight because TSA agent could not comprehend that this is not fake home-printed sheet of $100. The new $100s have the famous security strip engraved and I would imagine putting large number thru airport security machine will tip it as attempt to smuggle large amount of US currency (you supposed to report anything over $10,000 in cash (whichever currency) when you enter or leave US border). So the TSA got warning on their screen and his eyes almost popped out when he unroll a sheet of 16 x $100 bills on one sheet of paper. Other travelers had fun seeing it too. Its only that his supervisor let me through quickly because he said a month ago there was some money summit in NYC and he got plenty of people going back and forth with these sheets.

- I think everyone should order a single $1 sheet to have on their wall as it is a great conversation starter.
Time-series anomaly detection involves using techniques like forecasting and historical data offsets to dynamically identify deviations in patterns, as discussed in practical applications with tools like Prometheus and Grafana.
Algal blooms are dangerous because it is coastal (i.e. in shallow water).

I don't know of any research on the danger of algal blooms in deep sea.

But monitoring seems critical no matter what.
Show HN: LLM Creative Story-Writing Benchmark