skysight-inc/HackerNews huggingface dataset:
I liken this election to walking into a grocery store and your only choices are a head of cabbage and a week-old, open bag of stale Flaming Hot Cheetos.

The dumb part of your brain says "both of these options suck". And your brain naturally wants to say "at least the Flaming Hot Cheetos have flavor and are interesting".

Maybe you actually want stale Flaming Hot Cheetos. I will not judge you for that. But for everyone else who is despairing that "both choices are bad", I implore you to reconsider. While both choices are unappealing, that does not mean there's not a substantive difference between the two. Your brain is being tricked.

I will not waste your time trying to sell you on how good or exciting a head of cabbage is. You can walk away with the bag of stale Cheetos, telling yourself how much you love it and how anyone who would want to eat a cabbage is stupid. They are stale, they are untrustworthy, they will make you sick and paranoid. Or you can pick up the cabbage, know that you made an adult choice, and walk away with a clean conscious.
Having worked with migrating petabyte scale sharded SQL databases I get a sinking feeling when I think about automating this. I think it would actually be a pretty good test case for artificial super intelligence.
Free, but sadly not privacy-oriented. Garmin is pretty horrible with its Cloud pushing.
One reason to believe there's even new low hanging fruit (that doesn't even require new math) is how simple and trivial the "Attention Heads" structure of the Transformer architecture really is. It's not advanced at all. It was just a great ideal that panned out that pretty much any creative AI researcher could've thought up after smokin' a joint. lol. I mean someone could do trivial experiments with different Perceptron network structuring and end up revolutionizing the world.

I think things are gonna get interesting real quick once LLMs themselves start "self experimenting" with writing code for different architectures.
Wake me up when they support self hosted llama or openwebui.

Wonder if we'll ever see a standard LLM API.
The pattern I'm seeing is that they're overcompensating for stereotypes, as if they feel pressure to say the right things and not appear bigoted.
Although it's not a beginner fountain pen in terms of cost (though it is not too expensive, basic models around $160), the Pilot/Namiki Vanishing Point is a retractable fountain pen that does not leak when retracted.

The cartridges for it can, of course, get expensive, but a 1 mL syringe and a big bottle of ink (even Mont Blanc ink is only $25 for 60 mL) will let you refill them cheaply.
I'd love to hear more insights about on this. I'm just kicking off a B2B SaaS, have a rough idea of the checklist in my head, and am trying to balance core tech development with box checking.
There’s no doubt that waiters make more off tips than they would on a salary/hourly wage. Common in my city for waiters to make $40-50/hr. Comparable jobs make around $30.
I also noticed that after submitting this, I think HN should warn the user somehow if they're trying to submit an existing submission.
I too use Claude more frequently than OpenAi GPT4o. I think this is a two fold move for MS and I like it. Claude being more accurate / efficient for me says it's likely they see the same thing, win number 1. The second is with all the OpenAI drama MS has started to distance themselves over a souring relationship (allegedly). If so, this could be a smart move away tactfully.

Either way, Claude is great so this is a net win for everyone.
New pipe breaks regularly. It's almost like YouTube changes the API on purpose to hurt 3rd party clients that don't show ads.
So Ballmer-era Microsoft was the inspiration for Amazon's current culture, I see.
Can you give examples of democrats trying to accumulate power?
With a lot of assumptions I would wager that it was indeed the founder skill set issue.

Doing B2B sales is a skill, doing B2B marketing is a skill, doing fundraising is a skill, managing R&D is a skill, customer relations, legal, compliance, etc. You can learn anything, but you cant learn everything.

If he had two founders, one from a sales background and one from R&D management while he was the product guy, I would wager his story would be different.
Cameras that can see in dark spaces are quite a recent development (better SNR digital sensors, beating film) which has opened a lot of new possibilities in dark filmmaking.

Watch a 90s movie that shows "night" and you'll easily notice how everything is under strong, but blue, lighting.
Macro Clouds on the Horizon
I think it's more relevant with Apple because they've removed all the competition for basically all upgrades to their devices by either soldering things to the board or bundling them into their SOC. When there's no alternative their prices become the only option.
The real jank was the friends we met along the way.
Great news! This can only mean better suggestions.

I expected little from Copilot, but now i find it indispensible. It is such a productivity multiplier.
One reason I and a number of people do that: to cover the possibility you might be at the wrong door/house or ringing the wrong doorbell.

I had both of those problems at my previous residence. It was an apartment complex with some N½ addresses. Visitors would often miss that bit and be at the wrong door. On top of that, the doorbells were counterintuitive: they were arranged vertically, but the bottom doorbell would ring the top apartment and vice versa, so I forever had visitors and deliveries ringing the wrong bell (and actually mostly for the other units ringing mine.)
Ten things no one tells you before an Antarctic expedition (2015)
Merde Macron's bodyguards reveal his location by sharing Strava data
I'd be very interested in how they define a book ban. If I can go to any book retailer in some jurisdiction and buy the book I want, it isn't banned.
Well, it was a bad change. But we wouldn't want the wrong story make it worse. It was "just" an error in our configuration.
See my sibling reply below, but I disagree with your main point here. M2 Ultra is only competitive for very specific use cases, it does not really cost less than a much higher-performing setup, and if what you care about is true efficiency (meaning, W/token, or how much energy does the computer use to produce a given response), a multi-GPU setup and Mac Studios are on about equal footing.
Wait, they asked for a resume and you provided a CV. Gonna have a hard time when you start on the wrong foot with government work ;p
Housing Roundup #10
Salesforce certainly doesn't compete by making themselves appear desirable to software engineers, with their circa 1997 Java-like dialect.
The Harris campaign has proposed some price fixing legislation that is also pretty bad.

It's much less likely to happen though than a tariff plan, which is actually under the president's ability to get done.
This is pretty much what I see at almost every company I’ve been at in the last decade though… The review process is always toxic and has always lead to my peers in the industry being more likely to sabotage than help me since that’s the best way to look good in reviews. That with 80% of my peers being permanent H1B means they will do whatever it takes to stay employed.

I would be happy to know big tech companies that aren’t doing this but I don’t know any?
Five Eyes nations tell tech startups to take infosec seriously. Again
In the late 19th and early 20th century it was commonplace for educational skeletons to be made from real bodies, frequently sold by poor Indian families. This only stopped when plastic became a practical option.

And before somebody cries foul; education is very important, and real bodies were once the only source of durable anatomically correct teaching skeletons.
Why would you use a hall effect sensor at all, or a dpst for that matter? You just need two resistors.

Just tap the dc leg between the bell and the chime into a voltage divider - for a 16V doorbell to a 3.3V esp32 io pin, r1=15k and r2=3.3k is exact - and you're done.
Are those moments really that different? Motorola was practically the Netscape of the iPhone era, as those early Droids were everywhere. There were tons of others too, then it all imploded with only a few companies really surviving in the smartphone space.
It's will known that AccuWeather's president Joel Myers and his younger brother (now former) AccuWeather CEO Barry Lee Myers want to kill public domain weather report data. https://en.wikipedia.org/wiki/AccuWeather#National_Weather_S... Barry was nominated (but never confirmated) for Under Secretary for Oceans and Atmosphere and Administrator, National Oceanic and Atmospheric Administration

While AccuWeather denies involvement in Project 2025, there's definitely overlap between TFG's administration and the authors of the plan.
Interesting call for more horsepower behind numerical methods. One of the benefits of the emerging machine learning forecast models is dramatically lower need for computation (and therefore energy).
I wonder what the rationale for this was internally. More OpenAI issues? competitiveness with Cursor? It seems good for the user to increase competition across LLM providers.

Also ambiguous title. I thought GitHub canceled deals they had in the work. The article is clearly about making a deal, but it's unclear from the article's title.
> you need to pay for IntelliJ Ultimate as it’s only IDE that supports Kotlin.

That is so stunningly false that I am pretty sure I'm feeding the trolls: https://github.com/JetBrains/intellij-community/blob/idea/24... (Apache 2)
I actually recently discovered that my USB DAC was skipping a lot because I had it connected to a hub. Threw it directly onto the Mac Studio and now everything's peachy, so there are definitely downsides to trying to get a bunch of USB-A devices attached to one of these.
"cuts" has to be the worse word choice in this context, it sounds like they're terminating deals rather than creating them.
I'm sure a few have tried this before, but no one has given me a good argument for convincing the partner.
For reference comparing to what the big companies use, an H100 has over 3TB/s bandwidth. A nice home lab might be built around 4090s — two years old at this point — which have about 1TB/s.

Apple's chips have the advantage of being able to be specced out with tons of RAM, but performance isn't going to be in the same ballpark of even fairly old Nvidia chips.
Sensible.

Big part of competitors' (eg. Aider, Cursor, I imagine also jetbrains) advantage was not being tied to one model as the landscape changed.

After large MS OpenAI investment they could just as easily have put blinders on and doubled down.
I agree, I am not a proponent of TDD or anything, but cleaning & restructuring large code bases without tests is a recipe for an outage/regression
Yes, that would work. I was really looking for confirmation, so if she said something like this the issue could be avoided. But who knows what I'd come up with 10 minutes later...
In Defence of Power (2023)
Isn’t using big models like gpt-4o going to slow down the autocomplete?
How actionable will these insights be? Are you going to write better code because you don't want your "failed test" metric to go down?

As with many of these "quantified self" stats it feels like it will result in a colorful and nice to look at dashboard...with no benefit.
When it comes to medium range predictions. If you look at nowcasting, I believe the top dog is metnet 3 (https://arxiv.org/abs/2306.06079).

On a tangential note, I worked on weather forecasting a bit before, and talking with some people still in the field it seems that these organizations (NOAA, ECMWF) are stuck with NWP and refuse to embrace AI models. Not sure if they can't attract talent and so are somewhat stuck or if their higher ups are "old school" and can't really see the potential that this approach has to offer. It is just sad that the private sector is outclassing institutions and that these better models won't hit the public domain.
I wonder if this is an example of the freedom of being an arms length subsidiary or foreshadowing to a broader strategy shift within Microsoft.
> I hardly even understand what Salesforce does. I thought it was a sales lead/CRM software. I didn't even know it has an ecommerce function

Salesforce Commerce is an entirely different stack than Saleforce CRM. It's essentially DemandWare that was rebranded. It is the same parent company but think of it as a separate software entirely.

> and I've been surprised to see it pop up in non-sales spaces (ex. the CFPB complaint system).

Look at the billions Salesforce makes every year, they are in a lot of industries you might not have thought of.
Some fear is useful, of course. But most of the fears people have most of the time is problematic. I genuinely think that fear is the most damaging and dangerous emotion people have.

The trick is to not be ruled by it.
Why would be a man from India based on the timing. An Indian man buried under a Baltimore bar is weird irrespective of time.

Edit: Ah I see, it’s because Indian skeletons were frequently sold as educational tools.
Section 230 discussions seem to always devolve into a bunch of CS people talking way outside their depth about “free speech”, and making universal claims about the First Amendment as if the literal reading of the amendment is all that matters. I wish some actual lawyers would weigh in here
I agree, I've missed this feature myself. I wonder if the QR could be your away doorbell, "Gone fishing, leave a message"
> I believe that Intellectual Property is a terrible concept that shouldn't exist at all.

IMHO, that's an overreaction to certain specific abuses. Intellectual property shouldn't be abolished as it solves certain pretty serious problems, we don't have much visceral experience of because intellectual property exists. It protects the little guy: for instance: if it were abolished, the first thing that would happen is the megacorps would stop paying authors anything. Around the same time, the GPL would collapse, and you can say hello to Linux-based closed-source binary blobs.
I can still recall my impressions from reading these books at five years old, and the difference between them and the world I eventually entered does make me sad.

I’ve been struck by how the world is depicted to my children in so many children’s books. “As you grow, you’ll be able to slot into a happy productive life, no matter what kind of work you like.”

No joke: every time I read my daughter a Richard Scarry book, I wonder when and how it will have to be broken to her that unless her interests happen to include something that pays a living wage, she’s actually fucked for life.

Think about what it would be like to grow up or to raise children in a world where the ramp to adulthood was incredibly wide and smooth and it was near-impossible to fall off a cliff into poverty, loneliness, or a life of work you hate.

Busytown isn’t a real place, but it was obviously designed to give children some sense of what the world is like or supposed to be like.
Looks super cool. Would be nice to have a "try it out" section. I wanna plug it into a simulator and write a node (is that what you call it?), to make it do something. That would make things super clear.
It also doesn’t mean that you need to sell your soul during your teenage years so you can “have your options open” later.

I went to a state school and still had a 7 fig income before I was 30. It’s by no means a requirement and I think most “smart” people would agree.
Sure, but that's not how it works out in practice. It sure looks like everyone just rolls their own. Fun game: can you find any major website that uses the default validation?

This isn't an issue if everyone's an accessibly expert, otherwise we're sacrificing usability.
The History of Monokai
> Had they made it open source

That would have necessitated open sourcing Windows
UK immigration seeks tech support, development partner border crossing systems
Your style might have to change a bit, but disconnected letters were quite common in medieval Roman-style scripts, which were definitely written with quills.
Correct, the stage 2 bootloader and system firmware must be on the SSD. The OS can then boot from an external volume.

https://support.apple.com/guide/security/boot-process-secac7...
> Wonder if we'll ever see a standard LLM API.

At this point its just the OpenAI API
If they have deeper pockets than the user, they're the ones who will get sued for abuse they enable.
I agree that in professional settings, it's usually best for the efficiency of the company to be direct about everything. I also generally prefer that people provide accurate feedback about how I am doing in interpersonal relationships. I do think that "sparing" someone from an emotional reaction is sometimes a reasonable thing to do in an interpersonal relationship though, depending on the relationship.

Back to the dress example. Let's say the dress wearer is my girlfriend, and I have been asked the question "does this dress make me look fat?". Let's also assume I do think this particular dress makes her look fat, but generally find her attractive, and know that she has body image issues. If I answer "yes", or even "that dress isn't particularly flattering on you", she might interpret that as "He thinks the dress makes me look fat" -> "I am fat" -> "I am ugly", which is not actually what I think and not what I want her to think of herself. Even if I try to reassure her that I don't think she's ugly, she might think that my reassurance is a lie. People with insecurities don't always think logically about them. I think "You look beautiful" would probably be the most ideal response, (in that is both true and doesn't cause her to spiral) but if I didn't have time to think about my response, "No, it doesn't make you look fat" feels like a better response than something else which would cause her to spiral.

If I feel the need to actually help her choose the right dress, I can back that up by pointing out exactly how some other dress that looks better on her actually looks good.

Of course, if I feel like she could take it well, then pointing out exactly how the bad dress is bad might be helpful to her. However, I feel like keeping her from spiraling is more important then informing her of every detail of my taste in dresses.

Obviously, I made this scenario very concrete, but I feel like you can't really decide if it is a good idea without that very concrete knowledge. Which is one reason why white lies might be a bad idea in professional settings, where you don't necessarily know how people will respond to things in the first place. (Because you might not know them well)
Wanted. Top infosec pros willing to defend Britain on shabby salaries
Actually excited 2M context window will be useful in this case
> support will surely come eventually

I wouldn't be so sure - if marcan loses interest (already looks like it), who is going to keep up with supporting the latest Apple chips?

When the M series chips were the hot new thing, there sure was developer interest - but now that a new chip is released every year, it becomes boring drudgery.

Look at support for T2 Macs - it took a decade to get them supported, not because the hardware was so different, but mainly because the hardware was 'boring'.
It’s just a store that sells Apple products, but anyway, pretty crazy!
https://github.com/EI2030/Low-power-E-Paper-OS
People seem very eager to take the word of a serial liar and a convicted felon, even when the promises are in conflict with each other. I will never understand the rationale.
Isn there no open source alternative? Like a plugin or something.
That isn't a debunking, it's a description of the mechanism. For good and ill. Read it again.
You can do that, yes. My argument is that you don't have to do that -- you can prove asymptotics or stability after the fact, having previously only given an algorithm as a proof of sortability.

Putting these properties in the specification assumes you already know (or suspect) that your algorithm has these properties; then you are simply verifying what you knew. If you develop your algorithm first, then want to analyze it in terms of (say) asymptotics, then not only is it far too late to change the type, you don't even know what the asymptotics are yet. You'd still like to treat the algorithm formally in order to determine those asymptotics, but since you don't know them yet, the algorithm can't inhabit a type that states those asymptotics outright.
Yes, this is really what I meant. The First Amendment does protect you from government retaliation for critical speech. It does not prevent you from becoming a pariah in your community or more widely for what you say. Just look at any celebrity who lost multi-million dollar sponsorship contracts over a tweet.
Even plain C++ is very hard to read, it's one of the reasons I ditched it. Cannot even imagine writing code in this version. C++ is overcomplicated already, imho it's best to leave it to die naturally instead of prolonging the suffering of millions that use it.
The Alzheimer's KnowledgeBase (AlzKB)
The industry is sensitive to interest rates, it will likely recover. More people might be trying to enter but the demand for experienced people remains high. I’m also not sure if it’s still true but I remember years ago reading that despite more people entering the industry, as a whole it has an attrition problem, many software developers don’t stay software developers.
ECMWF is working towards being free/open-data by 2026.
Not the OP but I use the following [1] enclosure and [2] NVME SSD on my MacBook Pro and get read / write speeds > 2,500MB/s.

[1] enclosure: https://www.amazon.com/gp/product/B0BB74BQVN/

[2] drive: https://www.amazon.com/gp/product/B0B7CQ2CHH/
No doubt, a strike from the stick is in order
> The Wayland devs aren't wrong about the security implications of this kind of stuff.

But they are wrong. Their security model assumes an ecosystem of untrusted apps when we already had something far superior: distributions with vetted packages.

Wayland is like bolting down your furniture because if you let in random strangers from the street they might steal your stuff. Instead of adding obstacles that make my own life harder I prefer to keep better company.
It seems like in your first part, you're saying that proofs are the same as their normalized proofs, up to some rewriting system. So like how we say 3-2 is the same as 1, basically, or (more interestingly) saying that x-x is the same as zero, or that e^(i pi (2n+1)) is the same as -1. Yes, they can be reduced/normalized to the same thing, but in basically any system with terms, `reduction(term)` is not always the same as `term`, And 'a sequence of term transformations' is a common proof method.

There's obviously a sense in which they're the same, but at the proof level, I would be surprised if that's a particularly useful sense, because the whole point of a proof is that it's the journey, not the destination. Even within the same "level," in your terms.
I'd want them to fix this nonsense first https://news.ycombinator.com/formatdoc

I'm almost positive you, personally, could implement support for those emoji short codes via Violentmonkey
Show HN: Kickstart Your Flutter Project with a Comprehensive Pre-Setup
Hi everyone! I’m excited to share my open-source Flutter Pre-Setup, a project created to streamline and accelerate the setup process for new Flutter apps. This setup includes built-in flavors, Riverpod for state management, GoRouter for flexible navigation, and Firebase integration to handle backend needs right out of the box.

Whether you’re just starting with Flutter or looking to simplify setup in multi-flavor projects, this repo has you covered with scripts to automate setup and configuration. Check it out on GitHub, and feel free to give feedback or contribute!
We do have https://docs.basisrobotics.tech/guide-getting-started/enviro... and https://github.com/basis-robotics/basis-examples/tree/main/c... but I want to improve our first time user experience. (we call them units)