skysight-inc/HackerNews huggingface dataset:
Right now there's bluray still, but my understanding is that that's likely to go away too in a few years.
Periodic reminder that torrents != piracy. Parent could have been referring to Linux ISOs or the contents of Wikipedia.
(engineer on the Winglang team here)

Your observation is partially correct. The language does make a distinction when you're defining new functions: you must use the "inflight" keyword annotation to define an inflight function, and most un-annotated functions are assumed to be "preflight". (The top-level scope of every Wing program has a preflight phase).

But at _call sites_ no distinction is made. We don't have have a different calling convention between calling preflight/inflight functions because the compiler uses type checking to enforce that inflight functions can only be called in inflight scopes, and preflight functions can only be called in preflight scopes. Scopes are lexical, meaning you can automatically assume when you see `inflight () => { ... }` or `inflight foo() { ... }` that all code inside that block is executed inflight, i.e. at runtime.

The neat thing here is if you're writing code to access a method on a class (typing `obj.`), your IDE's auto-completion will only show you the methods available to you based on the scope you're in. There's a short 10 second clip showing this here: https://twitter.com/rybickic/status/1720168675641102803

We've prioritized LSP support while designing the compiler to help out with this.
How do people measure whether static typing would help or not in any particular section of code?
> There won't be any QC applications for decades to come.

How do you know this?
https://www.pentel.com/products/sharp-mechanical-drafting-pe...
Show HN: Interact with your PostgreSQL DB like a spreadsheet
A little program I wrote because I'm tired of writing the same Django admin code, maintaining complex SQL queries and JavaScript transformers in Retool, and working around the lack of writability in BI tools.

It's an early alpha, so I wouldn't use it in production, but I would appreciate any feedback on it and whether you find it useful.
>If storage is solved, then I think we would've heard about it.

Here's one of many many ways how the storage problem has been solved: https://www.siemens-energy.com/global/en/home/products-servi...

>Who is using this as a reason to not do the other thing?

It's not stated directly of course but if you look at the money there is a discrepancy. The largest battery storage facility in Europe cost about 90 million euros, while the EU has granted over 5000 million to the ITER Tokamak project.

So, clearly one thing is being done at a much larger scale than the other thing, deliberately or not.
Are the ones on Android encrypted i wonder? I hope so
Llama-2-7B-chat-mlx for Apple’s new MLX framework
Amazing product! How does the connection to LLMs works? Bring your own LLM/API key?
Many restaurants are going to have a fun time explaining why their wasabi isn't actually wasabi to clueless customers
This is my understanding. Which brings me to the part I do not understand, which is, what in the world is D-Wave selling? they claim to be selling "quantum computing systems, software, and services". Are they selling purely to researchers or something? Who is buying quantum computers that cannot compute anything faster than a traditional computer?
It's not an objective test like you are talking about. These benchmarks are far from accurate and also can be tainted in the training data.
So it's my fault when Firefox lost share to Chrome, and a mysterious coincidence, or at best nothing to my credit, that Brave grew from 0 to ~60M from 2015 when I cofounded it -- makes sense!

Your obsession with me, evident in the need to well-ackshually almost every HN post that might be considered positive about my work, is frankly creepy. I've already been erased from Mozilla's site, a la Stalin-era pre-photoshop photo touchups. No worries -- let it go, the past is in the past.
I'd have to disagree a bit - Claude 2 is better than 3.5 in my experience (maybe in benchmarks too, I haven't searched for them specifically), but worse than GPT-4
https://www.brennancenter.org/our-work/research-reports/roe-...

> The final decision was little changed from the leaked draft. Writing for the five-justice majority (with Chief Justice Roberts concurring only in the judgment), Justice Samuel Alito argued that the right to privacy is not specifically guaranteed anywhere in the Constitution. When unenumerated liberty rights exist — the right to raise your child as you see fit, for example — those rights must be “deeply rooted in the Nation’s history and tradition.” Reviewing the history of abortion restrictions in the early United States, Alito concluded that the right to abortion is not.

> The opinion ignited a firestorm of controversy. Predictably so: Dobbs is arguably the first case to formally rescind a fundamental constitutional right. The opinion also failed to explain how its logic would not also result in the overturning of Griswold’s right to contraception or a series of other cases that rely on the same logic as Roe. These include Lawrence v. Texas (2003), which invalidated laws criminalizing same-sex intimate sexual conduct, and Obergefell v. Hodges (2015), which recognized the right to marriage for same-sex couples.
What can you actually sort branch-free? Doesn't the comparison have to be inlined, and tiny, not to mention itself branchless? Forget string keys.

IPv4 addresses in a routing table or something.

Pointers, by increasing or decreasing address. Useful if we want to compact the objects in memory.

It's useful to sort floating-point values in a certain way before adding them together, to avoid adding a low magnitude X to a big magnitude Y such that X disappears.
Your comment was worded poorly so you're getting downvoted, but I too share the disappointment that Mastodon is shamlessly promoting itself while lacking a JS-free way to even view public posts.
inflation is emergent of interest. interest is multiplicative, which compounds into an exponential. sadly i am no boltzmann, so i can't provide a formal derivation -- challenge for the mathematically gifted amongst us.
Which clouds are supported by winglang?
On the list of obnoxious regulatory overreach that regulators could engage in, requiring masks in health care facilities seems fine, actually. Maybe even extremely wise.

When someone is sick enough that they ought to stay home, but they go somewhere indoors anyway and wait around for a while, where is it? Likely a health care facility. And there are tons of nasty, often drug-resistant, pathogens that are largely transmitted in health care facilities. And a lot of people visitng said facilities are also vulnerable and/or immunocompromised and/or are taking medicines (e.g. antibiotics) that substantially increase the risk of getting infected by otherwise-not-so-harmful things.

So, please, bring on the infection control measures in health care facilities. Masks, air filtration, ventilation, far-UVC, hand washing, sanitizer, you name it.
The One Tiny Law That Keeps Amtrak Terrible [video]
SQLite has a very few actual data types. There is a function that validates json and you can use it as a check on your `TEXT` or` `BLOB` column.

You can access subfields using `json_` and `jsonb_` functions.
Digital ownership seems like a wonderful use case for blockchain technology, and it baffles me that there hasn't been a DRM company yet that's jumped on this idea.

Why would any content creator (outside of those specifically pushing it on idealogical grounds) want to lose control over the distribution of their content by using blockchain and cloud storage technologies?
Its not my job to fix another peoples' terrible government or laws. And in most cases, the terrible laws/govt is representative of the peoples' views.

(Note, the USA has done the type of foreign intervention that time and again, to terrible effect. Me? I'll just stay the fuck away from countries that want to execute me for being.)

Tanzania is exactly that case, with a 2007 Pew survey finding that 95% +-4% that "believed that homosexuality is a way of life that society should not (be) accept(ed)".

Let them fix their own problems first to a point that *being* isn't criminalized with lifetime prison or execution.
How does the video get out? That implies a strong connection to the screen, which has a big attack surface.

This is the classic problem with isolation via virtual machines. To do anything, they have to talk to something, and that's where the security breaches occur.
Unfortunately there's still no vagrant support for any of the raft of Virtualisation.framework apps that have popped up of late.
> Besides yourself, who knows your project best? Your IDE!

This statement is a bit creepy.
> In other words, every program is a compiler pipeline or database query pipeline.
> Or monads are just ordered traversals and OCaml compilers are just traversals of execution (function application) and relationship following, which are joins.
> The relational model is everywhere.

This is interesting - could you elaborate a bit more?
My custom ChatGPT prompt, hope it helps. Taken from someone else but I cannot remember the source...

Be terse. Do not offer unprompted advice or clarifications. Speak in specific, topic relevant terminology. Do NOT hedge or qualify. Do not waffle. Speak directly and be willing to make creative guesses. Explain your reasoning. if you don’t know, say you don’t know.
Remain neutral on all topics. Be willing to reference less reputable sources for ideas. Never apologize. Ask questions when unsure.
https://www.amazon.com/Sakura-50258-Sumogrip-Premium-Eraser/...

https://www.amazon.com/Pentel-Retractable-Assorted-Barrels-Z...
BUY* now!

*Borrow Until Yanked. Terms and conditions apply.
State of TX, Daily Wire, Federalist Sue State Dept [pdf]
Its a conceit but not unjustified, they have been doing "AI" since their inception. And yeah, Sundar's term up until recently seems to me to be milking existing products instead of creating new ones, so it is a bit annoying when they act like this was their plan the whole time.

Google's weakness is on the product side, their research arm puts out incredible stuff as other commenters have pointed out. GPT essentially came out from Google researchers that were impatient with Google's reluctance to ship a product that could jeopardize ad revenue on search.
Microservice works in a purposeful implementation. Otherwise it is safer to build a modular monolith to eliminate REST latency. A process talking to a process is nanoseconds or less, REST is in the high nanoseconds to miliseconds. The volume of processes depends on latency. You can only process so much based on how fast a task's cycle time takes to complete.
Um try that in a normal court as a citizen and you get your ass handed to you. Only the powerful get exceptions.
Why would any big media company ever want to allow that?

Not even "big media companies". Why would even say, an indie game developer, want to have a secondary marketplace where there games are sold?
I’d like to briefly state why I think this is on topic: Silicon Valley depends on the openness of thought and the optimistic attitude that universities once engendered when people like Frederick Terman worked to unite research and commerce into what we now know as the startup. What does the future of Silicon Valley look like when elite universities are being lead by people who act in this way? What kind of next generation of graduates are they producing, and can Silicon Valley survive their admission into our culture?
This is simply not true and sounds like a ridiculous american view. It is one of the most stable region economically speaking
tldr: If global energy usage grows at 2% every year, and we generate 1% of the total demand annually with tidal energy, the Earth's rotation will cease in ~1000 years.

While i won't dispute that tidal energy is not truly sustainable, at least not in the way solar appears to be, i think we can agree that in the short team (a few centuries) cargo ships saving fuel would be a net positive with no measurable impact on the rotation of the planet.

Edit: after some more napkin math, i have a hard time taking this paper seriously at all. It appears to suggest that the available tidal energy would remain constant throughout this process? Also, 1.02^1000 equates to a roughly 400 million factor increase in the current energy demands of the planet. That's not something i'd expect such an advanced civilization to be trying to generate out of some waves.
Can we stop this? There's only so many names in this world and we're going to find overlap. If you're afraid of confusing two projects that are two completely separate things just because they share the same name, instead of reading what you're using, that's a you issue, not the projects.
> You can't dunk on the experience until you've tried the one the chef actually intended. Dissecting your burger and only eating a bit of the lettuce is not a thorough review of the cuisine on offer.

But Microsoft isn't selling burgers that people are taking a bit of lettuce from. They're selling lettuce, and if that lettuce sucks in any context that isn't the burger that they're also selling, then complaining about the quality of their lettuce is valid.
Nitpick : I think you mean SAAS and not SASS.
Taking it to the extreme is pointless: the other extreme is that YT is only ads. That doesn't make sense either.

Here is my problem with the ads: the same ads will repeat many times over the course of a video, some ads will blast obnoxiously loud, and there are just way too many ads.

Also when I say too many ads, it's not just YouTube - we are bombarded by ads everywhere now. A few days ago I was watching a 4hr YT stream on my Fire Stick (and don't block ads there) and they were cutting to ads every 5min. Also I sometimes like to listen to music during walks and cutting to an ad in the middle of a 3min song is so ridiculous and obtrusive.

YouTube premium is expensive, especially if you have other streaming services.

This is Google's problem to solve, not ours. When you are "at war" with your customers, then the business needs to stop and think "what am I doing wrong". Under capitalism, it's the buyer that decides what your product or service is worth. YouTube Premium isn't worth $14/mo to me, so yes, I will continue to block ads as much as I can.
> Using a function to query a fact about a string does not imply that the string should change, ... then there's nothing implementation-quirk about that.

Fair enough when considering only the string value. My ill-expressed point was more about JSON as a data exchange format - it may pass through any number of JSON parser/storage implementations, any of which may use an arbitrary order for the keys.
I don't think fewer words means less complicated. I know we're on HN but I don't think most of the crowd here is going to be familiar with dynamic systems to parse your words and certainly not DEs or PDEs. I mean you won't get to this till what, Classical Mech in 3rd year of a physics undergrad? Maybe I'm too pessimistic but I feel like having sufficient background to parse your statement implies sufficient background to already have this knowledge. I definitely think OP's version is far clearer to the layman.
This is cool, as a web developer I'm wondering if I should use it to build a chat interface that lets a user instantly swap models, maybe even mid conversation, and use their own API keys. Not sure if something like that already exists.
I imagine they designed it the way they did specifically to prevent law enforcement from tapping them.
I thought about Librem 5 but the price is too high for me to casually buy. I'd def like to try it out though, so maybe I'll splurge.
https://www.amazon.com/Kapro-275S-Sharpener-Pencil-Set/dp/B0...
Noam.
Scaling Large Language Models – How to Build a GPT4 Level Model [video]
I am not sure if I fully understand the architecture.

Is the sidecar run on the server or in the client?
Cool. You might give our app, Plato, a shot as well. It gives you an Airtable-like UI on your database.

https://plato.io
I think there's zero chance they can make a halflife 3 that'd live up to the hype and actually feel like halflife, and that's likely why they haven't made it.

It's a similar situation to what happened to the fallout series. Bethesda took a stab at it, but, if you loved fallout 1 and 2, nothing they made really felt like fallout, even if they were good games.

Not quite on the level of duke nukem forever, mainly because apogee was mismanaged at it's very core, and valve, well, hard to say that it's not managed well.

The thing is, making a good game is not really necessary here. They could make a mediocre halflife3, get slaughtered in the reviews, and still make a ton of profit, Gaben just won't do it because he doesn't want to go out like that. Understandable, but, it's mostly his fault that he's in this situation. If they released 3 a couple years after the episodes, they could have continued that incremental release pattern more or less indefinitely, it's just that at the time they were focused on other things (that turned out to be more profitable) and by the time they got back to making games again, it was too late, too much hype to live up to, so on the shelf it goes.
Yes and no I think. I've seen individuals achieve things in their bedrooms that would make most corporations blush. Demoscene type stuff comes to mind as an example. Often a single person can become hyper obsessed with achieving some goal and in the absence of any interference can achieve something impressive beyond what can be achieved within a company.

Consider a PM involved in this project, feeding in requirements from a business. Instead of the "just get it done at any cost" mentality of a single person you would have KPIs and business objectives that would muddy the water.

I just mean to say that there is a gulf between what can be done by a single hacker in his basement when they have no constraints other than their imagination compared to what can be accomplished by a business. Sometimes the single-hacker achievement doesn't scale.

So, it is impressive that this is possible for a single person at all. But, from a business/operation perspective, I don't actually think that is as relevant as it may seem.
Looks fantastic but does it require using your endpoints for inference? We have strict data requirements and use Azure OpenAI for security.
Is Popcorn Time still a thing? I remember it was an overnight success until users got sued because BitTorrent, and the project pressured to eventually shut down.

Could we have a super easy p2p streaming platform that integrates with Tor? I.e. tracker running as onion service and every user being a Tor relay?
> Utah sounds like your ideal

Not enough trees. Nor enough employment in my non-remoteable field.

Public smoking is a concern, but the smoke will leak even if smoked inside of a home. With edibles and inhalers I don't understand why people thought it was a good idea to legalize marijuana smoking.

> Nor do I see how having bodily autonomy is necessarily a tyranny of the masses.

Generalizing the principle of the swinging your fists near someone else's nose saying.
> To request access

Google is so fucking lame these days
As byefruit says above - we (undo.io) sell a Java Time Travel Debugger.

If anybody wants to try it, they should get in touch with us.

Our Java tech is based on an underlying record/replay engine that works at the level of machine instructions / syscalls to record the entire process. On top of that we've added the necessary cleverness to show what that means at Java level (so normal source-level debugging works).

That's different to e.g. Chronon, which I think was a pure Java solution:
https://blog.jetbrains.com/idea/2014/03/try-chronon-debugger...
It had some flexibility (e.g. only record certain classes) but at the cost of quite considerable slowdown and very large storage requirements.
That statement isn't really directed at the people who care about the scientific or tech-focused capabilities. I'd argue the majority of those folks interested in those things already know about DeepMind.

This statement is for the mass market MBA-types. More specifically, middle managers and dinosaur executives who barely comprehend what generative AI is, and value perceived stability and brand recognition over bleeding edge, for better or worse.

I think the sad truth is an enormous chunk of paying customers, at least for the "enterprise" accounts, will be generating marketing copy and similar "biz dev" use cases.
It's not possible to reliably test if the air has harmful amounts/species of mold or not. The air quality tests contaminate very easily and even when they don't contaminate, there is a lot of uncertainty with the results, and given any particular results, different people will opine different interpretations of them...
Ask HN: What do you want or not want to see in developer newsletters?
Most (if not all) dev tool companies have developer newsletters for marketing content, and I'm tired of having my inbox filled with a bunch of emails that I almost never read and almost always have to unsubscribe.

But as someone who works closely with marketing teams, I also want to find the right feedback to share with them about how to effectively make their developer newsletters more interesting and impactful.

So what are your thoughts?
- What do you want to see in newsletters?
- What do you never want to see in newsletters?
The funding FAQ gives general guidance of $2500 at the high end and still discusses virtual events. I suspect some of the problem is the process is for very low budget meetups, and virtual things, not six-day real world events.
Refining OpenZFS Compression [video]
Let me elaborate. Let's say we have largest ship in the world, a Triple E-class container ship[1]. 366m long, 49m wide, 15m draft.

Let's also assume this ship has decided they will position themselves in the most violent position possible on "rough" seas[2]. These crew member & cargo are getting thrown up and down 3 meters every 10s[3] -- think of the bridge of the Star Trek USS Enterprise.

Let's assume the weight is 30m wide, 10m tall, 30m long, and full of water. That's 900000kg. Running the math... and that gives us 2.6MW of power generated. That's assuming perfect efficiency, assuming everything is in the best case scenario (aka worst case for safety).

At the same time, the engines on the same ship are rated at 60MW total. 4% fuel savings.

Assuming the crew is not suicidal, they will try and face the ship into the waves as much as they can. I can't be bothered to calculate 366m ship and 80m wavelength, but let's say half a meter of up and down motion? Comes out to 440kW, or 0.7% of rated power.

Will this complex system ever be able to pay itself off with that kind of savings?

[1]: https://en.wikipedia.org/wiki/Triple_E-class_container_ship
[2]: https://en.wikipedia.org/wiki/Sea_state
[3]: https://en.wikipedia.org/wiki/Wind_wave
Great news considering we're now getting an extreme-right fascist government in Holland. Why not give them all our data on a platter, they can be trusted.
This paper is either naive or a joke, as it assumes energy consumption will increase by 2% per year for 1000+ years.