skysight-inc/HackerNews huggingface dataset:
>Verifiable Compute represents a significant leap forward in ensuring that AI is explainable, accountable.

This is like saying the speedometer on a car prevents speeding.
A CRD controller is expected, especially it will allow your clean up logic long running in cluster or periodically. But writing code inside YAML is very weird, at least there are CEL as option here.
Some GPL license would be the natural choice then, got it. I wonder if they are respecting that.
> the permanent extinction of species a much worse thing

Fair enough, but then I'll point you to:

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

No matter how you slice it, these are far from the worst of times.
Money is measurable, engineer quality is not. Sure with a smaller startup you could average amongst the engineers but it's an imprecise value. The million threads on leetcode and interview are proof positive engineer valuation is hard.

It's all well and good to gamble when someone else, the public, is picking up the tab.
I'm going to feel personally offended if Jetbrains drops the ball on this.

Seriously, this here right now is the precise moment in time where people will either look back at wondering how such a clear leader managed to sink into insignificance, or not.

I love IntelliJ more than my own kids, but if they don't add "the AI does not just talk about what code to create, it actually creates it, across multiple files and folders", then I'm out.

Just yesterday I made Cursor rewrite the whole ui layer of my app from light-mode-only to light-and-dark-mode-with-switcher in one single sweep, in less than 5 minutes (it would have taken me hours, if not days to do it manually), and this is just not feasible if you have to manually copy-and-paste whatever Jetbrains AI spits out.

Jetbrains — Move. Now!
You do before purchase, but generally not as part of the storefront product listing. That necessitates the seller already knowing where you'll be shipping it to, and that's traditionally the last step before purchase (whether that's best or not I can't say).

Sales tax is also usually added in at the very end, again because it depends on where the buyer is.

The difference here is that the "hidden junk fees" are just extra money they charge, with no real defence. For example, Ticketmaster loves their arbitrary "convenience fee", Airbnb was long known for "cleaning fees" (though they've improved here), etc. These are things that the seller knows they're going to charge beforehand and clearly they do this purely to trick our brains into thinking things are cheaper.
"...routinely fails to address vulnerabilities in its products... When cybersecurity experts point out the flaws...the company declines to engage with them..."

I feel like this used to apply to most mass-market home routers. Have things improved recently such that TP-Link is an outlier?
So america has good values and can be trusted?

Ha! How many civilians have been killed in the last 50 years by the american military vs the Chinese?
You might believe that you don't make weapons, but nobody else does.

You're building satellite components, which I'm quite certain are dual use.
Been using Solaar for a few years with a Logitech K400 keyboard with the built-in touchpad. Running on a Raspberry Pi connected to my TV. No issues and works very well. Have never even connected to Logitech's software on a Mac or Windows.
Both churches have always identified themselves as "Catholic", or universal in the Greek language (katholikos). Orthodox Churches still use the creed in every service, where they say "We believe in one holy catholic and apostolic church".

Also, it's not like the Roman Catholics claim to be heterodox or something, they also claim that their faith is "orthodox".
Apple collaborates with Nvidia to research faster LLM performance
Add in that in the search for the perfect candidate that has all 16 bullet point requirements you'll come across folks who have, say, a solid 13 of them, but they'll get passed over waiting for the perfect candidate to come around. Which can take many months... years even. In the meantime you could have been bringing up one of those 13-point candidates getting them up to speed on those 3 missing bullet points. And you'd likely have gotten to a desired level of productivity faster than by waiting for that perfect candidate while wringing your hands that there just aren't enough qualified people out there.
Chapel 2.3
Are you comparing "complex Java projects" against just ordinary "C# projects"? Because ordinary Java projects will also be "./gradlew run" or the Maven equivalent, that's nothing special.
I’m sorry dang but no, this is not hostility. Again a startup has a monumental mountain to climb, critical and authentic feedback is absolutely not hostile. It’s valuable food for thought.

The link you referenced is looking for “objects in the mirror” I’m not sure how that’s related here.

Frankly HN has become an Orwellian environment, perhaps after 14+ years I’m no longer welcome here.
> The NIIT was targeted at “high-income people who lived off investments,” remembered Andrews. It was designed to hit “someone who is day-trading, someone who is arbitraging the market,” he said, referring to the practice of exploiting mismatched prices of securities, like stocks or bonds.

Nearly all of the examples in this article were people who were not day-trading or arbitraging the market and didn't qualify for the tax.

So it sounds like the tax is working exactly as intended and the journalist just doesn't like it.
No terrain is insurmountable considering chance and a hundred thousand years. The question is how likely will any given group be able to pass through and flourish on the other side? We have many examples of isolated human populations on islands or across inhospitable barriers that it shouldn't be surprising to find isolated populations on either side of the Eurasian continent. Off the top of my head, Australian aboriginals, the Andamanese and New Guinea islanders are examples of isolated populations with essentially no gene flow between larger populations over 10s of thousands of years. Even the fact that we talk about how many populations ultimately left Africa in prehistory implies there must have been some barrier to overcome.

> also, I forgot that a lot of the steppe is forested. Surely that would make it significantly less of a barrier.

Also consider the ice age and how that affected the degree to which Eurasia was hospitable.
I think what's being said here is that if we're going to talk about what "needs" to be done about security (especially if government regulation is to be involved), and if we're going to ban something, then it ought to be devices that need to talk to "the cloud". Saying we "need" APs to segment VLANs is missing the point. The cloud servers are known to be malicious (e.g. that company that intentionally bricked people's inverters the other day). As you say, it's impossible to have reasonable filters when everything wants to talk to the entire world. What we "need" is for IoT devices to communicate through purely local networks and have no Internet access. e.g. mandate a standard to discover a local MQTT broker (which the router may also provide). In that world, there's no reason for a device to ever talk to anything other than e.g. 192.168.1.1, so filtering is easy and can be made default.
Powershell is probably best fit for that role. You have to learn a new scripting language but since it runs on .Net you can actually bring in .Net Classes if you need a little more power.

https://learn.microsoft.com/en-us/powershell/module/microsof...
Field Update: Intel Core Ultra 200S Series Performance Status
How do you realize that you have stopped using a resource? Can there be cases when you're hesitant to remove a resource just yet, because you want a possible rollback to be fast, and then it lingers, forgotten?
They are supported out of the box by generic drivers!

But most Logitech devices have settings that can be changed. This allows you to change them.

Using this software, I disabled tap to click on my K400 Plus’s trackpad. Super useful.
I could ask a Chinese person and their response could be exactly the same and still valid. Perhaps more valid.
One big thing your keyboards probably aren't doing that mouse drivers are: different settings for different apps.
ASGI, and WSGI before it are standard interfaces for python web traffic.

it allows you to write an application (or in this case a framework) and have it work with multiple application webservers. I don’t know if java has an equivalent, but imagine if you could switch from tomcat to something else without changing any application code.
Anecdotal, but I had an intro to programming class in high school and the teacher was a wonderful woman, but not a programmer. She didn't know that this was a function declaration or its meaning, so she would just have us repeat out loud "public static void main string box args". I get a laugh whenever I think of that. I hope she's doing well.
Why pay to solve CAPTCHAs when SeleniumBase can bypass them for free?
SeleniumBase can also "solve" CAPTCHAs (such as Cloudflare via click).
What tab? H1B engineers are definitionally employed, usually in the upper tax brackets.
> do you honestly expect Americans to do well in a world where we aren't the preeminent military and economic power? we wouldn't.

As we act now? No I strongly suspect not, because standard American foreign policy of the last roughly eighty years has been swinging our massive dick around and screwing over every other nation on planet Earth, economically, financially, militarily, or some combination of the three.

Let me posit an opposing question: What right does America, one fucking country, in one part of the world, that isn't particularly large, have to basically dictate world geopolitic as we have for decades at this point? What right does America have to say China cannot have an "advanced economy"? Who appointed us? Who elected us? Most importantly, who are we accountable to and who must be justify those kinds of statements to? Or is it literally just down to the fact that we have the biggest bombs on the planet? I don't know, genuinely, what the consequences are of a world that is not headed by the United States, but to get really honest here, the US is not doing a great job in that regard anyway. Would I want North Korea at the helm? Obviously not. But I don't ascribe even remotely that level of hostility to the state of China.

And to continue to be blunt, ARE Americans doing so well as your question presupposes? Because I kinda think we're getting screwed in a lot of ways, and I grant, not as hard as people elsewhere in many cases, but also uniquely hard to other people of other developed nations in specific ways. I, personally, would much prefer that instead of lighting trillions of defense dollars on fire year over year to continue inflating the aforementioned massive dick that we wave around the world all the time, be put instead towards fixing... hell, any of the major problems America actually HAS. And like, take your pick. Healthcare, Infrastructure, Education, Poverty, just to name the four biggest that immediately come to mind. Hell maybe we just give up new tanks for one year and make sure everyone in Flint, Michigan can have WATER without any goddamn lead in it.

I am exhausted of the narrative that the world, the whole WORLD, will topple over dead if America isn't in charge. America has BEEN in charge, defacto, since the end of World War 2. LOOK AROUND!!!
Will replicache be deprecated? Or continue to be developed/supported? E.g. Partial downloads aren't really necessary in our case so Zero isn't really necessary (although it is cool!).
I’m not any good at Rubik’s Cube, and to me it looks like a bunch of colored squares.

But stuff I am good at? I don’t see it at all. A terminal? I never have any truly tangible conscious recollection of serious coding.

It might be the same for people good at Rubik’s Cube.
Ah, I think I wasn't clear enough and you misinterpreted me! I'm absolutely not suggesting an LLM for solving the "describe to aliens what our system looks like" problem or doing the assessment of our description.

I was trying to describe how, in the future when we have surveys of thousands of other star systems, it would be fun if there was a website that played the role of the aliens. We would describe to it in plain language what our system looked like and it would tell us if we did a good enough job to get home or not. To me, this means finding how many rows match in a database. I'm not sure how to turn plain language into a database query but, if pressed, today I'd reach for an LLM.
> high protein diet...I eat a head of cauliflower and two heads of cabbage a week. My broccoli bill is off the charts.

Your farts are probably legendary.
A lot of things "flood the job market". In 2021, >104k degrees CIS degrees were awarded by US colleges [1]. There's a flood of young people entering the market every year, and they're willing to work for >30% less than experienced engineers because it's their first proper job.

IMO as with all things money, it's all about negotiation. Of course a lot of negotiating power simply has to do with the market supply/demand, but a whole lot has to do with policy and rules. Giving more negotiating power to H1Bs would definitely put upwards pressure on salaries.

Re: construction workers. Same problem, worker's rights. A lot of construction workers are undocumented: an estimated 20 percent [2][3]. Undocumented immigrants have virtually no negotiating power. Allowing this solid 1/5th of the workforce to confront their employer without fear of deportation would go a long way increasing compensation for the industry as a whole.

[1]: https://nces.ed.gov/programs/digest/d22/tables/dt22_322.10.a...

[3]: https://limos.engin.umich.edu/deitabase/2024/05/28/undocumen...
Human / child sacrifice. Cannibalism. Happened all over the world. 10 Commandments saying “Thou Shalt Not Kill” is because inhuman religious practices were literally killing children.
Thanks for the reading.
Not a bad price, but it does require an existing Airtag.

Ten years is a very long time in tech. I wouldn't be confident that the Airtag protocol will be functioning in 2035, and there are already rumors of a new Airtag and possibly a newer protocol coming up.
Thanks, Yes I'm a long time electricity maps customer.
I also agree that the EU markets data transparency is further along in helping incentivize opportunities here.

Also thanks for the other links!
This is why H1-B visas should have a minimum salary requirement equal to 20% over whichever is greater, median salary for the role in the industry, or median salary for the role in the company (and whichever is greater, US-wide, or local pay scale).

This way, a company is always incentivized to find local talent, but when they are actually unable to, they have a path to find the expertise they need. The U.S. could relax restrictions on H1-B, lowering red tape, and removing a lot of churn that comes with the H1-B program
This. If you're not in or near a major urban center you're going to have to really be attractive to pull people in to work there.
As a cloud/DevOps consultant, I don't believe in letting management drag on the life support of failed deployments.

We (the team I built out since a couple years ago) carve out a new AWS subaccount / GCP Project or bare-metal K8s or whatever the environment is, instantiate our GitOps pipeline, and services get cut-over in order to get supported.

When I was working in individual contributor roles, I managed to "manage upward" enough that I could establish boundaries on what could be supported or not. Yes this did involve a lot of "soft skills" (something I'm capable of doing even though my posts on this board are rather curt).

"Every DevOps job is a political job" rings true.

Do not support incumbent K8s clusters, as a famous -- more like infamous -- radio host used to say on 97.1 FM in the 90s: dump that bitch.
> Also NJ police report the anomalous drones give off no heat signature like normal drones...

These are the same people who have panic attacks when they think they've been exposed to fentanyl (which usually involves them describing symptoms not consistent with opiate exposure, and mysteriously the officers never seem to test positive for it in the hospital). https://pmc.ncbi.nlm.nih.gov/articles/PMC8810663/

In reality, someone exposed to a large volume of pure, liquid, lab-grade fentanyl... just washes their hands. https://pubmed.ncbi.nlm.nih.gov/35722948/

(See also: “poisoned” milkshakes: https://ny.eater.com/2020/6/23/21299721/nypd-officers-report...)
Also big time yes. Many folks would pay big money for a dumb robot that does just 1 or 2 tasks well - and even with that... how good is a Roomba really? It misses places, it gets stuck, and there's still 10M sold every year.

You want a robot that does the task well enough AND for which if it fails it's not a big deal if it's not too often.

For bigger robots that can break stuff it will be too annoying, but for Maurice, I don't think so.
An additional citation substantiating that 10 MB/s figure: the 3rd sentence of TFA.
Notebooks are not about producing a report. I've worked with hundreds of notebooks and very few of them were intended as polished documents.

Notebooks are literally for notes, for exploring new ideas - not creating production artifacts from existing ideas. You get a stateful kernel that can incrementally build up state instead of re-executing. And you get visual artifacts and user interfaces inline. The value proposition is faster iteration and immediate feedback, not report writing.
Optional typing is one of my favorite features of groovy.

Explicit typing also helps show where code needs to be explicitly performant and of course where type strictness is valuable.

I'm assuming of course that types in js flavors has performance advantages a la asm.js, but admittedly I haven't tracked JavaScript evolution that closely.

If it isn't typed then that helps clue the programmer that looser dynamic techniques being used.
>h1b is to bring some physicist that matches criteria.

those are exceptional cases. The majority of the 65K year h1b visas granted every year are for filling IT related positions. Mostly dev related positions.
Unpriced externalities. Housing is unaffordable in no small part due to immigration. Opportunity cost for Americans workers.

Generally the government manages the economy to make things 'easy' but not necessarily reflecting the true cost of any behavior.
Python seems to have started with 'why do those other languages have all this trash' and then spent the time since then learning why and coming up with worse versions.

I use python a lot these days, and like it, but it's pretty funny seeing stuff like the above and type hints.

I hate not knowing what types a function takes and returns.
If you add up the social benefits of being one of Pres.-again Trump's BFF's, the financial benefits for Tesla of Trump being less anti-EV, and the probably far-reduced legal and regulatory scrutiny of Elon and his companies' activities - I'd say those vastly outweigh any plausible gov. funding for stuff on Mars.
Thanks, but I'm sorry to say, the result is... bad. It invents words ("rusticas" in the second line of the title of the output, isn't anywhere in the source file -- it's not even a French word). And it completely drowns the footnotes inside the main text, inventing layout and text enrichment in the process.

Footnotes are an important part of this project, if not the main point. If they are mangled with the main text then it's pointless. In your rendering there doesn't seem to be footnotes at all? just text with random titles here and there, and even more random tables that (to me) make no sense.

I wouldn't call that "minor imperfections". As it is, it really isn't usable.
Math Education Needs Reform. It Got a War Instead
Yooo, I've been so frustrated with Logitech! I have an MX Mechanical Mini keyboard and MX Ergo mouse. For some reason they don't pair to the same dongle because the dongles are different and not interchangeable. In addition, whatever dongle is plugged into the right USB-A port of my laptop always lags for some reason. Does Solaar solve those issues?
I agree. Apps need OSes almost as much as OSes need apps.
which ones specifically? I like Spring Boot tbh
Nobody is on a single messaging platform these days they also use other stuff of course. They look at it as a simple way to reach this group of people.
Thanks to Solaar I hot my F1-F12 keys back on a Logitech keyboard that defaults to requiring Fn to use those (on Mac/Win you can change this using an app by Logitech). It’s been working well for a long time. I suggest getting it from their own ppa because the version in your Linux distro might be pretty old
> than the old "public static void main(String[] args)" thing

you forgot surrounding class definition.
> People may have had less access to information and technology, but that didn't make them any dumber than we are now.

There's probably an aspect to people confusing "knowledge" with "brainpower". People in the past were just as good at figuring stuff out as we are today.

We have the advantage of Millenia of stuff figured out and documented. So we know on average more about how the universe works than people in the distant past.
No, you can get your new visa in any country US consular services are in, not just your home country.
Agreed this is a bad idea in the case you are replying to, but I love ChatGPT as a way to recover the name of a book or film I’ve forgotten. I recently prompted for “a book about nuclear wasteland dominated by a church” and it gave me A canticle for Leibowitz (which is great). I’m not sure how easy that would be any other way.
Ask HN: What cable modem do you use and how much did it cost?
I've been looking at my old DOCSIS 3.0 which can only do 100Mbps but my Comcast plan alleges 300Mbps. So wondering if I should upgrade but the price is crazy for some of the recommended models to support DOCSIS 3.1+.
New York man finds Mastodon jaw while gardening in his backyard
It should be able to! F# has "gradual typing" and full type inference which means you often do not need to specify the types at all, and it also happens to be whitespace-sensitive language much like Python is. Both of these aspects should make it feel quite familiar while also giving you full advantages of static typing.

One thing to note is I find `dotnet fsi {some script name}.fsx` taking more time to start than ideal - up to 800ms is just too much, normal .NET applications usually start in a fraction of this.

I recently posted a submission here for "FSharpPacker" written by my friend that lets you compile F# scripts to standalone applications (either runtime-dependent, self-contained or fully native binaries, much like Go), it also has some comments on getting the best mileage out of it: https://news.ycombinator.com/item?id=42304835

Probably the best feature that also comes with scripting (both C# and F#) is "inline" nuget references e.g. #r "nuget: FSharp.Control.TaskSeq" which will automatically pull the dependency from nuget without ever dealing with manually installing it or tinkering with build system in any other way.

Some additional links:

https://learn.microsoft.com/en-us/dotnet/fsharp/tools/fsharp...

https://github.com/dotnet-script/dotnet-script (C# is also a quite productive language for scripting and small programs because of top-level statements, record types, pattern matching and many other functional features though perhaps not as strongly represented as in F#, it's just very unfortunately abused in enterprise world, with teams often going out of their way to make the code far more bloated than necessary, against the language design intentions)

https://github.com/waf/CSharpRepl
I wonder if building codes should be abolished.

then being a renter would be quite an adventure.
The joke in the Swedish tech scene was that you work there until you graduate to Spotify.