skysight-inc/HackerNews huggingface dataset:
Particularly not for the last reason mentioned -- declining an offered position because it's not in a place you want to live.
I scarface_74, removed Facebook from my phone, never used TikTok, deleted my Reddit account, never used Instagram, and only use LinkedIn when im actively looking for a job.

I use text messages to talk to people.
Show HN: DeepSeek-R1 Running in Nvidia Jetson Nano
TSA pre-check is a pre-screening program that air travelers can use to bypass the normal security line.

It's not a huge time-saver (any more, used to be more) but gets you out of a few annoyances like removing shoes, unpacking toiletries, and a few other things. And the lines are usually a bit shorter and the ratio of regular traveller to new traveller is a bit better (less likely to get caught behind somebody who doesn't know the process and wastes everybody's time).
In Edtech, You Either Bet on Teachers or You Have to Build One
They’re critiquing a technology here, not any scientific findings.
Agreed. I consider myself an AI skeptic, but this reads like the first-draft ramblings of someone who's never heard of the Gartner Hype Cycle.
Here are a couple starting points

https://medium.com/servicios-a0/on-solving-the-tzdb-changes-...

https://github.com/tc39/proposal-canonical-tz - appropriately to these comments, a proposal to handle tzdb changes, built on top of JS Temporal, includes some great examples of all the ways this can happen
R1 or V3?
What I didn't like about the article is that he picks a couple 1 uF capacitors that he knows have good specs and then adds to the graph some random 0.1 uF cap without any specs or part numbers. How do we know this is apples to apples? We don't. It is almost like he ran out of time to write the article when he got near the end. Too bad.
"Those destinations, which are listed in paragraph (a) to Supplement No. 5 to Part 740, are Australia, Belgium, Canada, Denmark, Finland, France, Germany, Ireland, Italy, Japan, the Netherlands, New Zealand, Norway, Republic of Korea, Spain, Sweden, Taiwan, the United Kingdom, and the United States. For these destinations, this IFR makes minimal changes: companies in these destinations generally will be able to obtain the most advanced ICs without a license as long as they certify compliance with specific requirements provided in § 740.27." [0]

France seems clearly exempt from most of the requirements. The main requirement of 740.27 is to sign a license under U.S. law, under which customers are prohibited from re-exporting ICs to non-Third 1 countries without U.S. approval.

What's more, the text refers to AIs, which can have dual uses. The concept of dual civil-military use concerns a large number of technologies, and dates back to the first nuclear technologies.

The text gives a few examples of dual-use models, such as models that simulate or facilitate the production of chemical compounds that could be used for chemical weapon creation, non conventional weapon creation or that could simplify or replace already identified dual-use goods or technologies.

These uses are already covered by existing legislation on dual-use goods, and US export control. The American legislator is therefore potentially thinking of other uses, such as satellite and radar image analysis, and electronic warfare.

As France is a nuclear-armed country with its own version of thoses technologies, it makes little sense to place it under embargo.

But France isn't going to like being obliged once again to be forced to apply American law and regulation on its soil.

As a European, I hope that alternatives to American dependence will soon appear.

[0] https://www.federalregister.gov/documents/2025/01/15/2025-00...
It's not just a marketing label. The term is not being hijacked. Open source models, open source weights, the license chosen, these are all exetrmely valuable concepts.

The thing you want, open source model data pipelines, is a different thing. It's existence in no way invalidates the concept of an open source model. Nothing has been hijacked.
They're both European. Look at the author names on the llama paper.
Thought this was about https://temporal.io/ ...
In the future - perhaps even the near future - we may have AIs with richer inner lives than humans. Hopefully the situations we put them in, as they do our work, don't cause them pain or anguish. It's clear already they will have an uphill battle gaining any recognition of personhood from us.
Yah. It might write a better TL;DR, but it will always be a tool engineers use.

AI is a bubble if you consider the end goal of AI to be a 1:1 replacement for humans.

AI is not a bubble if consider the more likely end goal of AI being just another tool. A really good tool but just a tool real indulgence will use. We have seen this many times in the past with tech. While some people did loose jobs over time it evened out and eventually made more jobs. Just look at how many jobs today exist simply because computers exist, a hardware device that was to then replace the modern worker.
And, there are many ancient philosophies and practices that help people resolve this without god or religion

We don’t need god to find meaning or fulfillment

And we definitely don’t need other people pretending to be the one true channel through which to connect with God either
I'm in favor of FOSS, and I'd like to see more truly open models for ideological reasons, but I don't see a lot of practical value for individuals in open-sourcing the process. You still can't build one yourself. How does it help to know the steps when creating a base model still costs >tens of millions of dollars?

It seems to me that open source weights enable everything the FOSS community is practically capable of doing.
Something like https://en.wikipedia.org/wiki/Dolby_Atmos and https://en.wikipedia.org/wiki/DTS,_Inc.#DTS:X
I feel most people are rooting for it to be a fad than actually believing that it is. We've barely started to hook these things up on our business processes and companies are investing heavily right now in doing so. Give it a few years.

As for stock prices, no comments from me.
He just put out a video today of making a wooden CNC machine.
Doesn't sound like a huge problem unless we get the size of the asteroid wrong. Won't we have a year or more of notice on where and when it will impact? Plenty of time to evacuate in a worst case scenario.

When there are hurricanes there are often holdouts that don't abide by the evacuation order. I wonder if there would be holdouts if an asteroid were coming.
Can you please elaborate your checklist system and primer task you've mentioned?
> what’s next, pattern matching?

Oh boy do I have news for you... https://tc39.es/proposal-pattern-matching/

:P
I thought we were broadly against tone policing. I hope we are done with that culture of censorship and deplatforming and can get back to holding reasonable debates and discussions even on controversial topics people disagree on.
What business process do you want to hook to?
Excuse me? What weights can you download from OpenAI? gpt2 does not count
Microsoft is go-to tech for normies. As the world grows they get more users. A lot of companies in China are 100% Microsoft, for example.
Yes and no.

My first priority for a decompiler is that the output is (mostly) correct. (I say mostly because there's lots of little niggling behavior you probably want to ignore, like representing a shift instruction as `a << b` over `a << (b & 0x1f)`). When the decompiler's output is incorrect, I can't trust it anymore, and I'm going to go straight back to the disassembly because I need to work with the correct output. And AI--especially LLMs--are notoriously bad at the "correct" part of translation.

If you look at decompilation as a multistep problem, the main steps are a) identify the function/data symbol boundaries, b) lift the functions to IR, c) recover type information (including calling convention for functions), d) recover high-level control flow, and e) recover variable names.

For step b, correctness is so critical that I'm wary of even trusting hand-generated tables for disassembly, since it's way too easy for someone to copy something by hand. But on the other hand, this is something that can be machine-generated with something that is provably correct (see, e.g., https://cs.stanford.edu/people/eschkufz/docs/pldi_16.pdf). Sure, there's also a further step for recognizing higher-level patterns like manually-implemented-bswap, but that's basically "implement a peephole optimizer," and the state of the art for compilers these days is to use formally verifiable techniques for doing that.

For a lot of the other problems, if you instead categorize them as things where the AI being wrong doesn't make it incorrect, AI can be a valuable tool. For example, control flow structuring can be envisioned as identifying which branches are gotos (including breaks/continues/early returns), since a CFG that has no gotos is pretty trivial to structure. So if your actual AI portion is a heuristic engine for working that out, it's never going to generate wrong code, just unnecessarily complicated code.
> This always annoyed me about religion. Such a lazy cop out no answer to such important question.

Religion, or at least Catholicism, recognizes four things that humans look to for happiness: wealth, honour, glory/fame/power, and pleasure.

* https://www.newadvent.org/summa/2002.htm

It concludes that these things can be good, they are not the highest good. The thing that will make humans most happy is love: love for one's neighbour, and love for God, who is Love:

* https://en.wikipedia.org/wiki/Deus_caritas_est

Or if you want to get more philosophical and less theological, Aristotle goes over why those four things are not ends in themselves, but means to an end:

* https://en.wikipedia.org/wiki/Nicomachean_Ethics

There is a growing amount of evidence that the need for love (community), which other people are needed for, is central to human fulfillment:

* https://news.harvard.edu/gazette/story/2017/04/over-nearly-8...

* https://magazine.hms.harvard.edu/articles/good-life
These are a dime-a-dozen. What makes this different than Fathom or Plausible?
Oh that’s interesting. I can see your point. I guess it’s a bit ambiguous and can mean either thing. As the other responder mentioned, the backwards construction in the original sounds like 19th century literature, and from context I know they mean removing x and adding y. But in another context it could mean the opposite. Thanks for pointing that out!
GNU C Library (glibc) 2.41 released
Pope Francis talks exactly about this in the letter:

> 38. ... The Church is particularly opposed to those applications that threaten the sanctity of life or the dignity of the human person.[78] Like any human endeavor, technological development must be directed to serve the human person and contribute to the pursuit of “greater justice, more extensive fraternity, and a more humane order of social relations,” which are “more valuable than advances in the technical field.” ...

> 39. To address these challenges, it is essential to emphasize the importance of moral responsibility grounded in the dignity and vocation of the human person. This guiding principle also applies to questions concerning AI. In this context, the ethical dimension takes on primary importance because it is people who design systems and determine the purposes for which they are used.[80] Between a machine and a human being, only the latter is truly a moral agent—a subject of moral responsibility who exercises freedom in his or her decisions and accepts their consequences.[81] It is not the machine but the human who is in relationship with truth and goodness, guided by a moral conscience that calls the person “to love and to do what is good and to avoid evil,”[82] bearing witness to “the authority of truth in reference to the supreme Good to which the human person is drawn.”[83] Likewise, between a machine and a human, only the human can be sufficiently self-aware to the point of listening and following the voice of conscience, discerning with prudence, and seeking the good that is possible in every situation.[84] In fact, all of this also belongs to the person’s exercise of intelligence.

He even brings up x-risk at one point, which gives me some hope in this message reaching those members of the faith who have influence on the new administration.
https://en.wikipedia.org/wiki/God-Building
I've seen a number of them. Some are a simple listing, others do some level of validation and ranking based on various heuristics, others are an actual service that will run the mcp servers for you in an encapsulated form so that it becomes more of an app store-like experience and you don't need to do manual configuration in your client. mcp.run is basically this - they run the servers in a webassembly sandbox for you. I'm probably not doing it real justice, but it's a really interesting concept in a very interesting space(MCP) right now.

https://glama.ai/mcp/servers/

https://www.mcp.run/
LibreOffice Draw is the best free PDF editor, akin to the flexibility of Illustrator but actually easier to use for documents with multiple pages.
American consumer and industrial electronics companies are increasingly unable to deliver products without the Chinese supply chain. How does that not give significant bargaining power? Also factor in that the Chinese manufacturers also manufacturers for everyone else in the world, so they don't have to sell that capacity to USA. And that the share of production capacity that companies from America use is trending down anyways. Mostly due to Asia, Middle East and South America are still growing a lot. Then Africa is following, delayed by some decades.
Of course owning the end customer is generally better. But moving production is not something to take lightly.
GeForce RTX 5090 and 5080 sell out almost instantly
What's this stuff about the model catering to ‘80%’ of generative AI tasks? What model do they expect me to use for the other 20% of the time when my question needs reasoning smarts.
Anyone knows how the data about each timezone stays updated within Temporal? Does the TC39 update the data somewhere, then each browser copies that data internally and releases a new version of the browser? If a user visits my website and this user has not updated their browser with the new data, will they see incorrect hours?

For example Mexico removed DST in 2022 [1]. When using third party libraries like pytz or moment-timezone, you just update the library on your side with the updated data for Mexico. Or bump the language if it's handled in the standard library. What about Temporal and my visitors' browser?

[1] https://en.wikipedia.org/wiki/Time_in_Mexico
I wonder if this administration's firing of many FAA civil positions and the federal worker "buyouts" are responsible.
They have a paid AI service. I think eventually the collaboration will be paid and it will probably rely on commercial licenses from companies and maybe offer more enterprise like features for that customer base
I do not like it either.

I have a blog that admittedly does not get much traffic, and I have started to add random words after each paragraph. The background is white, and these words are white, so they are invisible to most people. Maybe it is not that effective, but it makes me feel better.
> It’s not like libraries accumulate new bugs and vulnerabilities by not changing.

That's not actually true, for libraries that interact with the platform. For example, Mac OS changed some type definition in header files in their arch transition, which makes building a pre-M1 rust project that depends on a contemporary library version that interfaces with the OS (like SDL) on an ARM host without any changes impossible. You need to update your dep (and potentially the way you consume them) just to be able to build the project, or procure a host supported by your dependency (one that existed when it was written, so an X86 machine).

We could argue all day that this is "not a bug" or the user's fault for using a new host and it was never supported or any other deflection. But it is a concrete example of "this code hasn't changed and the passage of time shifted the ground from under it".
I used both, LibreOffice calc for heavier data analysis than Google Sheets can handle. Google can also read LibreOffice's file formats easily.
> your screen has been stretched weirdly because macbooks have their own weird aspect ratio which don't match any TVs.

When you cast your screen to an Apple TV, the TV shows as an extra display on the computer, and allows you to set the aspect ratio however you'd like. Either when extending or mirroring.

https://imgur.com/a/c3mKbOj

Am I missing something?
What, and continue to expand income inequality?
Capitalism is based on colonial looting and a "boom, bust, quit, next" exploitation cycle. Is that really the world you want to live in? If so, why?
Gemini 2.0 Experimental is now a leading LLM. They started out poorly, but after a more reasonable 1.5 Pro, 2.0 is in another class entirely and a direct competitor to o1 (or o1-mini as for Gemini 2.0 Flash). They've made quick strides forward as the DeepMind team is kicking into gear, and I feel like they're neglected a bit too often these days, especially now while usage cost on AI Studio is a nice $0.
The controller will not take blame. It is a blameless culture where mistakes are expected and analyzed and learned from.
It will be as much a ‘tool’ as human intelligence is a tool.
OT, but: Oh...wait...just another thursday, ich came here to HN just for the new games, and no... not one single ...no new game at all on the frontpage of HN... so what the heck, busy everyone ?

[modus:with.a.sense.for.the.weekend]

regards,...
Yandex Open-Sources Perforator: Find Code Inefficiencies
"are you sure your self-hosted solution will have better uptime?"

Hilariously, after 15 years working in self hosted bitbucket systems, YES entirely.

An underfunded university with an incompetent but doing their best IT department? Zero downtime.

A mid sized company full of overly confident and "just build it" nerds building fragile shit? Zero downtime.

A large corporation with a completely outsourced IT department that can't give you access to something unless you do exactly the right undocumented thing in our internal ticketing software? Zero downtime.

That includes self hosted jenkins and literally homebuilt infrastructure with zero documentation and the guy that built it left a while ago.

I have never been able to blame our build and code infra for lack of productivity.
So, a cuttting edge AI model turned out to be much cheaper and easier to produce than we thought. Weird reason to call something a "fad". Here's to hope nobody invents a way to produce much cheaper and faster cars, or this whole Car Fad will be over too.
So how would someone go about shorting Intel stock? Advisable at this point?
Is there a way to do that in WordPress on a shared host?
We call software FOSS when you can compile (if needed) and build the project yourself, locally, granted you have the resources available. If you have parts that aren't FOSS attached to the project somehow, we call it "Open Core" or similar. You wouldn't call a software project FOSS if the only thing under a FOSS license is the binary itself, or some other output, we require at least the code to be FOSS for it to be considered FOSS.

Meta/Llama probably started the trend, and they still today say "The open-source AI models" and "Llama is the leading open source model family" which is grossly misleading.

You cannot download the Llama models or weights without signing a license agreement, you're not allowed to use it for anything you want, you need to add a disclaimer on anything that uses Llama (which almost the entire ecosystem breaks as they seemingly missed this when they signed the agreement) and so on, which to me goes directly against what FOSS means.

If you cannot reproduce the artifact yourself (again, granted you have the resources), you'd have a really hard time convincing me that that is FOSS.
You have some misconceptions about C and undefined behavior.

> C code that reads uninitialized data is presumed to be buggy, because it wouldn't be doing that unless it thought the memory was initialized. But the read itself is not unsafe.

The read itself is very much unsafe because it's undefined behavior. The compiler is allowed to assume the programmer doesn't allow reads to uninitialized memory to happen, so if the programmer does allow a read from uninitialized memory, any false conclusion can follow from the false assumption.

This is a problem even in trivial cases; see [1] and try commenting out and switching arround the calls to foo and bar. The behavior is very unintuitive, because reads from uninitialized memory is unsafe.

[1]: https://godbolt.org/z/71vbPYT6G
How is it a cop-out to say "the whole of human meaning and fulfillment is found in perceiving face-to-face the source and end of human meaning and fulfillment"? Are you complaining that the answer is too easy, too hard, or without further direction? (As I see it, "Come, follow me" is full of direction and while it's definitely not easy, neither is it impossible.)
As long as some part of the asteroid keeps the old trajectory, the chance can only increase because you’re adding particles with slightly different trajectories.
And just to be clear, the POTUS/super-special VIP transport is run by the USMC out of Quantico[1], a bit further to the south along the Potomac. Belvoir is US Army, and does have VIP heelicopters (obviously), but it's not the same group that lands at the White House.

1 - https://en.wikipedia.org/wiki/HMX-1
They have some Ospreys and other things as well, but HMX-1 is the most famous and recognizable.
Hopefully they will finetuning it using RL like DeepSeek did, it would be great to have more open reasoning models.
It often feels to me that HN's view of Buddhism is "whatever bits of philosophy I happen to agree with". It's true that throughout history, there have been enough different expressions of Buddhism, practiced by at least a few people, that it's possible to say a lot of things 'are Buddhism', but it feels dishonest to me to rely on that in comparative analysis with a much more doctrinally stable religion. The difference is not fundamentally one of belief but of legibility of belief: with Buddhism you can get away with almost anything (did you know that most all modern Buddhists in Japan believe in the pure land -- for all intents and purposes heaven?), but with Catholicism there is but one creed.
I agree 100% with your observation about most teams, and how hard it is to get people to write comments that aren't on the level of `# increment i`.

I also like your tip about not putting specific variable names in comments. I'll have to think about that. It's hard to describe trick pieces of algorithms without naming names, though.

Maybe the article should be read as hints to folks who are trying hard to write understandable comments. As an example, I try to write comments without the "to be" verb, because I find using "to be" forms decreases the reader's chances of distinguishing variable type from its contents, and action from actor. Would I impose this on my team? Never.
Does this mean that in the eyes of this Pope or this church, natural born biological humans will always be closer to God or have a higher degree of sanctity than artificial intelligence, any form of technological machine, and presumably artificial "life"?
https://en.m.wikipedia.org/wiki/Gartner_hype_cycle
Wow, I didn't even notice or realize it was a link!

Edit: it was probably added afterwards and donations were removed.
And that's not something you should be depending on a compiler to verify.
They're fast, I used 4o mini to run the final synthesis in a CoT app and to do initial entity/value extraction in an ETL. Mistral is pretty good for code completions too, if I was in the Cursor business I would consider a model like this for small code-block level completions, and let the bigger models handle chat, large requests, etc.