skysight-inc/HackerNews huggingface dataset:
I mean, they do, but it involves risking your livelihood and/or life.
But only closer to their god.
In the case of Mistral, the restrictions on exporting the model would not apply, since the model is produced in France. What's more, Mistral won't be much help in producing deadly gases or uranium enrichment facilities. It is therefore not subject to this legislation for these two reasons.

On the other hand, ICs could be subject to restrictions, and France has no alternative for sourcing large-capacity ICs.

The USA could use dollar-denominated transactions to broaden the scope of the text. It's not insurmountable, but it will complicate matters.
How TSMC beat Intel to be Apple's main chip foundry
>people coming from very different perspectives

Care to elaborate? Which people and which perspectives? It's a bit unclear to me.
I mean, just because something is a fad doesn't mean it's not _real_. "There was a fad for X in the 1980s" doesn't necessarily, or even usually, mean that X doesn't happen today, just that it is no longer such a big deal. You could call the late 19th century railway bubble a fad of sorts; railways obviously still exist and are very important, but speculative railway building is no longer a double-digit percentage of the global economy, say.

Like, in ten years it is likely that LLMs will be used for some things. It is less likely that people will be talking about spending literally trillions of dollars on LLM arms races, however.
It's just the way it should be.
Somewhat related-ish: Cakelisp <https://news.ycombinator.com/item?id=36154069>
Overall I agree: I think a big root cause of current woes is that companies have grown too large and competition is broken. Not only that, but larger entities have more leverage to tilt the playing field and become even more anticompetitive.

There is another issue: collusion. If every company requires binding arbitration in their contracts (of adhesion), do I just opt out of having a cell phone, internet service, etc.?

See also: RealPage's rent-fixing.
Great Question (YC W21) Is Hiring Lead Product Designer
If you read the article (which I know no one does anymore)

>OpenAI and its partner Microsoft investigated accounts believed to be DeepSeek’s last year that were using OpenAI’s application programming interface (API) and blocked their access on suspicion of distillation that violated the terms of service, another person with direct knowledge said. These investigations were first reported by Bloomberg.
> I’m sure you know that you can get a computer with a web browser that doesn’t run either Windows or MacOS and you can use Firefox?

You wanna put some money where your mouth is?

In other Hacker News...

Linux troubles:

- [0.a] https://news.ycombinator.com/item?id=42839502 "Facebook ban on discussing Linux"

- (bonus comment} [0.a.b] https://news.ycombinator.com/item?id=42848523 "Linux users are extremists according to the NSA (http://www.linuxjournal.com/content/nsa-linux-journal-extrem...)"

- [0.b] https://news.ycombinator.com/item?id=4063236 "Microsoft Bans Linux/Android Dual-Booting on Windows 8 ARM Devices"

- [0.c] https://news.ycombinator.com/item?id=19224887 "Apple Is Blocking Linux User-Agent on appleid.apple.com"

- [0.d] https://news.ycombinator.com/item?id=36197401 "Tell HN: Cloudflare is locking out Linux users"

Firefox troubles:

- [1.a] https://news.ycombinator.com/item?id=34952279 "Ask HN: Is your Firefox blocked by Cloudflare in recent weeks? (e.g., Gitlab)"

- [1.b] https://news.ycombinator.com/item?id=31459258 "Firefox appears to be flagged as suspicious by Cloudflare"

- [1.c] https://news.ycombinator.com/item?id=42719865 "Google.com search now refusing to search for FF esr 128 without JavaScript"

- [1.d] https://news.ycombinator.com/item?id=29938521 "Reddit Blocks Firefox"

- [1.e] https://news.ycombinator.com/item?id=33269391 "Firefox Private Mode blocked by T-Mobile"

I could go on, but I won't. Suffice to say that yes you are right you "can" get such a computer. But there are very strong indications that won't always be true, and even having such a computer does not guarantee that you can access the services that you require.

> And there are plenty of non smart phones that can receive text messages.

What you mean is that there are plenty of non-smart phones that enable receiving of massive amounts of spam indistinguishable from spearphishing, and you even pay for that privilege.

No. I do not accept the concept of being required to pay for that "service".
You're conveniently ignoring the remaining 5% (actually larger than 5% BTW), which is not only ahistorical and non-scientific, but is where the majority of the "moral teachings" you speak of are found.
Well, a violent mob attacked the capitol in an attempt to overturn the results of a democratic election, egged on by the acting president who lost the election. It wasn't a coup, but in other countries we would call that an attempted coup.

That same politician instead of being barred from running for office again for inciting an attempted coup, was allowed to (by the justices who he had appointed to office, conveniently), and in is first act as president pardoned all those who participated in the attempted coup, sending a message that violent attempts to thwart the democratic process are ok so long as it's support of him.

So while not quite Liberia or Haiti level coup, certainly the most serious anti-democracy attempt in US history (makes Watergate look cute by comparison) and yet half the country just shrugged it off, opening the door to a fascist (self-serving politicians married with self-serving broligarchs) government.
Okay, I think I see. In the linked article, due to the behavior of `read` uninitialized memory is never read. The same would be true in equivalent C code.

However, in C, the programmer doesn't need to prove to the compiler that uninitialized memory is never read, they are just expected to prevent it from happening. In this case, it's clear to the programer that there's no undefined behavior.

In Rust though, the compiler must be able to statically verify no undefined behavior can occur (except due to unsafe sections). It's not possible to statically verify this in either the Rust or C case, because not enough information is encoded into the type signature of `read`. The article discusses a couple of ways that information might be encoded so that Rust can be more like C, and discusses their trade-offs. C explicitly sidesteps this by placing the responsibility entirely on the programmer.

So to directly answer your question "Why can't Rust act like C when faced with empty buffers?", it's because the Rust compiler cannot yet statically verify there's no undefined behavior in this case, even though there is in fact no undefined behavior, and one of the primary design goals of Rust is to statically prevent undefined behavior.

And to what's perhaps the initial question, this is discussed using the term "safety" simply because Rust defines things which can't be statically verified to not invoke undefined behavior as "unsafe". Perhaps a better term would be "not yet statically provable as safe", but it's a bit of a mouthful.
The Casarabe culture, mostly Arawak speaking. They grew maize and cassava on raised fields.
https://en.wikipedia.org/wiki/Llanos_de_Moxos_(archaeology)
September 17, 1987 "Using Pattern Languages for Object-Oriented Programs"

https://c2.com/doc/oopsla87.html
I am wary of LSP. I should try LSP again using eastwood, which probably has its trade-offs. While I absolutely admire Borkdude's many gifts to the Clojure community, the lack of static analysis in clj-kondo is a non-starter for me -- macro support is painfully manual. Because of its speed, clj-kondo likely is more performant in an editor LSP context, but too opinionated for me.
It must be easy to determine which face of the earth it strikes though...?
Over-Tokenized Transformer: Vocabulary Is Worth Scaling [pdf]
Gods, her "OK" at 30seconds is fucking heart wrenching.
I don't see why you'd make that assumption.

If we run a simulation forward to, say, Jan 1 2032, our uncertainty about where the asteroid will be is not only in, let's call it, the X and Y axes, describing a flat circle of where the asteroid might be (see [1]), but also in a Z axis.

That is, our uncertainty of where the asteroid will be can be described as a 3D shape. And if it's further "behind" or "ahead" in its trajectory, then it would be passing through Earth's orbit behind or ahead of time.

1. https://en.wikipedia.org/wiki/Torino_scale#/media/File:Apoph...
I think they implied you would prevent that.
I agree with many other sentiments here that if it can replace decompilers, then surely it can replace compilers... which feels unlikely soon. So far, I've seen four end-to-end binary-to-code AI approaches, and none have had convincing results. Even those that crawled all of GitHub continue to have issues of making fake code, not understanding math, omitting portions of code, and (a personal irritant for me) being unable to map what address a line of decompilation came from.

However, I also acknowledge that AI can solve many pattern-based problems well.
I think a considerable value can be extracted from AI by focusing in on micro decisions in the decompiler process, like variable types, as recent work has.
I do not blame one of the candidates: I blame the failing US media landscape.

Look at NYT revenue [0], and it's the largest and most solvent of the big papers left. Newsrooms of everything after it (WSJ, WP, LAT) are even more gutted.

24/7 news channel "journalism" isn't a substitute, even when you can find it between the filler shows.

And it takes money to fund high quality journalism. Facebook and Google hijacked those funding streams, but then didn't use those profits to fund an actual replacement.

Instead, their platforms (and the ones that came after them) reward attention algorithm hacking and race-to-the-bottom in content quality.

And now, they've decided that even funding a fact checking function is inconvenient to their bottom line, so ditched that responsibility as soon as the political winds allowed them to.

[0] https://m.macrotrends.net/stocks/charts/NYT/new-york-times/r...
Reminds me of an old Bruce Sterling quote: "politics pulls us together, technology tears us apart". That always struck me as being directly opposite of our intuitions as technologists.

As a species, we need a wider exploration of how to structure online spaces in a way that builds and sustains social capital instead of usurping it. That's difficult to do with out resorting to censorship and ideological totalitarianism. And it's probably not compatible with the ad-funded addiction-driven business model of most modern platforms.

One historical example of note here is Wikipedia. It was a complete failure as a for-profit product, but it skyrocketed in significance when it opened up and adopted the relatively new social interaction model of the wiki.
Reading uninitialized memory is not undefined behavior.
Because when writing you use proper nouns.
Can be improved by purchasing a decent soldering iron, which seems like a reasonable step to take if you need to solder something more than once or twice.
Right, a different name would avoid confusion with temporal.io.
ZDI pays lump sums AFAIU.
99.999% of jobs do not care about accuracy at the level of a technical writer. The ones that do will continue to hire them.
I love this use case! Do you have any public links acknowledging/mentioning/showing this use case? Including it in the Applications portion of the Dec Wiki would be great.
The issue here is that both Sears and Kmart were large players in a tight market with low competition. Both of their demises ultimately have allowed further consolidation of the market into fewer players.

The fewer the players on the market, the more likely collusion and monopolistic behaviors start to form.

But I also do not buy your premise that both companies were "dead companies lurching forward." Both companies had GOBS of assets that they could have liquidated and used to restructure into success. Those gobs of assets WERE liquidated but instead of being used to serve vendors or customers, they were used to enrich the shareholders.

The failure here is that this behavior of pillaging a company to it's detriment is something that could happen to any business. It wasn't done out of stupidity or ignorance, it was a malicious act of greed.

The problem I have with the free market hypothesis is it works only when there are many players on the market. However, entry into the market is by it's nature expensive and the economies of scale practically guarantee monopolistic end-states.

Consider, for example, the current state of the semiconductor industry. If Intel fails, would that be a free market success story? I would argue no because the market, particularly around fabrication, is already hugely concentrated into very few key players. We are not going to see a new cutting edge fab company (barring trust busting).

This consolidation action is happening up and down the market in everything from food to healthcare. We are actively seeing the death of small time farmers because of consolidation in meatpacking, groceries, and milling. Because a big mill doesn't want to deal with some 100acre farmer, they are actively locking them out of participation. And because a company like Nestle doesn't want to deal with 100 mills, smaller mills are being locked out of the market. These actions are all free market.

I call the death a Sears a failure in the market because it kills off competition. The only time it could be a market success story is if we had an actively competitive market with a large number of players.
I’m not sure whether or not screen time can be beneficial is relevant to the question “is screen time impacting reading ability.” Most people probably don’t engage in enriching screen-based activities, so the main thing to consider is whether or not screens, as commonly used by the population at large, are having a negative impact.

Also, I’ll push back on the notion that people historically learned to read in order to read the Bible. Maybe 1000 years ago, but even in the beginning of the late Middle Ages people were reading vernacular in Europe. Hangul, created in 1443, was created specifically to increase literacy amongst the masses. And of course, the first written languages are thousands of years older than the Old Testament.
DeepSeek R1: Open Weights, Hidden Bias
Analysis of Deepseek’s enforced CCP guardrails compared with OpenAI and Anthropic.

We evaluated DeepSeek R1 and confirmed that its guardrails deviate significantly from other model providers. We’re currently updating it to behave more in line with Anthropic and OpenAI’s models.
> Unless you never write anything popular, you at least need a static host like github pages or a cdn or something behind it.

No, you just need a host that doesn't have ridiculously small limits. You can easily find find hosts with limits in hundreds of GB, or TB, or even unmetered. You can find them for free, and you can find them for quite cheap compared to most technologists' incomes.
You seem to have many misconceptions about what Catholics actually believe. And then you seem to take exception to these misconceptions. So your exceptions are only with beliefs that exist in your own mind.
And the perceived sentiment that those fatalities are directly linked to changes in the corporate culture that emphasized 'greed' and 'middle management power structures' over 'engineering focus'

Not saying these are true - or false - just that the prevalent media coverage and social media commentary (including here on HN) has been touching on these points frequently. The 'good guys' at Boeing were pushed out or silenced, the 'sleazy guys' won and didn't care about the consequences as long as they got their payday
Assignment is already an expression, no?

console.log(x = "hello");
everyone just tell you to use mpsr in this case
You don't have to read it. What was flagged about "the modern Nazi problem", whatever that even means?
Pretty much everything you said here doesn't align with history. And if anything, Catholics are more inclined to agree that the Bible is a product of human writing and translation because they don't agree with the Protestant doctrine of Sola scriptura. Also, Catholics consider the Orthodox church to be in communion with Rome - they don't consider it a different religion and aren't opposed to the Bible being translated into vernacular languages. No idea where that came from.
As a developer, that's for sure possible, it might take a few years. Even if you make less in the beginning, you can more easily live in places that are cheaper if your living situation allow you.

There are many opportunities online available. Start with acquisition and build from there.

I did it myself a few times, and have friends who made way more. The biggest secret, sticking to it.
The ESA's estimate is a bit lower, at 0.1 MT: https://neo.ssa.esa.int/search-for-asteroids?tab=possimp&des...

I'm guessing there's still a lot of uncertainty.
Breaching the trust thermocline is the biggest hidden risk in business
I have a ipv6/64 prefix at home (my country is near 100% ipv6, including mobile), I am seriously thinking to add code to my noscript/basic (x)html browsers in order to randomize an ipv6/128 address for each instance (may need policy and new kernel IP interface). Domestic routers can handle a good amount of ipv6/128 addresses on a ipv6/64 prefix. I could "randomize" "fixed" ipv6/128 as internet "phone" numbers I would give to my contacts.

BUT, it seems I cannot do the same with my mobile ipv6 internet as it seems I get a ipv6/128 from my mobile ISP (may be a trick of my modem though, dunno). I think even a ipv6/96 should be more than ok for mobile, then there is the question of international roaming of such ipv6/96 prefixes. Namely, still a lot of ipv6/128 per web instance, and a lot of "fixed" ipv6/128 for internet "phones" or "servers".
Since this requires state to track should be up to the developer to define how they want to track and respond to changes in timezone? I'm not sure I would want Temporal to have an opinion on how to handle that?
Show HN: Workflow86 - An AI business analyst and automation engineer
Hey HN,

We built Workflow86 to help teams build and automate their internal business processes and workflows using drag and drop components like forms, tasks, tables and nodes for business logic, API requests, running custom code etc. It works as a standalone process/workflow automation tool, or as a workflow customization layer on top of existing apps and systems like HRIS, CRM and ERP.

One common problem we hear from users is that no-code still has a significant learning curve, and it can take some time to understand how to properly build something. Users also needed help with knowing what to build in the first place, or what a process might or should look like.

To solve this, we've integrated an AI that acts as a business analyst/consultant and workflow automation engineer. This AI is powered by a combination of Large Language Models and lots of prompt engineering, RAG and prompt chaining techniques we developed along the way.

See a demo of it in action here: https://www.loom.com/share/fdbd5ad64c8f4071a062ecaa6a6d01f1?...

In business analyst/consultant mode, the AI helps users brainstorm ideas, identify and discover processes and draft what a process should look like. Like a business analyst/consultant, the AI works to pull and extract information and details from the user by asking the right questions rather than rely on the user's instructions alone.

Once the required information has been gathered, the AI goes into engineer mode: it will plan and then build the entire workflow by selecting the right nodes, connecting them together and then fully configuring every single node individually as well. This includes writing custom code and API requests using stored credentials when required.

Once a workflow is built, edits can be done manually or by asking the AI to adjust the workflow at any time (e.g., “Add a compensation band check before final approval”). The AI has full context of the current state of the workflow, so it can “patch” in any changes like adding new nodes, rewriting existing nodes and so on.

Some use cases we’ve seen from customers include building:
- automated compliance checks for new CRM leads
- custom international contractor onboarding workflows on top of a HRIS
- automated vendor risk assessment before ERP updates

Try it out and let us know how the AI performs and any other feedback you have!

Full docs can be found at https://docs.workflow86.com
> Doesn't the increase the chances of one bad tenant taking the database down for all other tenants?

We have safe-guards in place to prevent and isolate bad actors. It's more tricky then if resources weren't shared, but that is the trade-off for multi-tenancy.
Still better than than Hinton.
I have listed various links on my notes: https://notes.dsebastien.net/30+Areas/33+Permanent+notes/33....
Show HN: Live Demo – DeepSeek R1 vs. OpenAI O1 for RAG
Hey HN,

We built a live demo to compare DeepSeek R1 and OpenAI’s o1 model on a simple RAG pipeline using Haystack, our open-source AI framework. Both pipelines use the same retrieval and prompts to ensure a fair comparison.

Would love to hear your thoughts -- how do open-weight models stack up against proprietary ones for RAG?

blog post + demo link: https://www.deepset.ai/blog/deepseek-openai-comparison-by-ha...
Not being able to attract capital would clearly be a Mistral problem.
> A lot of radio exchanges are routine exchanges that involve very basic information: call signs, transponder codes, codes for approaches/departures, courses, altimeter settings, altitudes, weather information, etc.

They are also in a fairly standardized format with reserved "keywords" for many important aspects of operation ("hold short", "line up and wait", "cleared to X"):

* https://skybrary.aero/sites/default/files/bookshelf/115.pdf

English is the lingua franca of ATC, but it is recognized it is obviously not everyone's first language.
AI could replace NFL first-down markers sooner than you might think
That's true, DCA is smaller footprint, so easier to navigate inside. And even better now that the remote terminal redone and linked properly (vs the old "Take a bus and wait on a bench").

But, the last few years, I haven't had any issues at IAD. Yeah, it takes longer to get from the front door to the gate, but that's about it. The security lines are more reasonable now (pre-COVID they were pretty long at times).

I pick IAD when I can, but that's only because I live in Reston. If I lived inside the Beltway, I'd pick DCA, but only because of the shorter drive, not the airport experience itself.

And I wouldn't want DCA to be shuttered. But, it's been at capacity for a while and Congress keeps pushing that limit.
> Remember in the mid-90s when people talked about the internet being a fad?

People keep bringing this up and it is pure bullshit.

I lived through the 90's and the Internet was never seen as a fad back then. It was hyped through the whole decade as the future, in many ways rightfully so. The hype was so strong that it culminated in the dotcom bubble early next decade.

You may think that AI skepticism is due to "entrenched interests" that want it to be a fad, I argue that AI hype is due to "entrenched interests" wishing that all overprimises are real.

I regularly use AI - Mosltly local models with either Ollama or Stable Diffusion.

I find it mildly useful in some specific scenarios, but very far from being comparable to the internet in terms of how ubiquitous and necessary it might become.
Jack didnt tell me about it
My work does a lot of stuff with time and scheduling, and let me tell you having timezone-unaware date/time objects distinct from specific points in time will be so damn useful. The old Date class made it really easy to accidentally screw that up. Third party libraries help, but something as important and fundamental as time really should have a good built-in implementation.