skysight-inc/HackerNews huggingface dataset:
Hey! There are 2 main similarities to Marvin, namely: (a) functions that act as APIs to the LLM backend, and (b) type coercion to ensure that the responses fit into the data model of your application.

However, there are a couple of big additions to Marvin as well, namely:
Test Driven Alignment - by using ‘assert’ statements that declare the behavior of a patched function, we create a contract that makes invocations much more predictable, which makes it possible to use these functions in production settings.Automatic distillation - a combination of the function contract defined in function type signature and the alignment tests means we can automatically swap out bigger models for smaller ones. This saves up to 80% of the latency, and 90% of the cost of running these functions (check the benchmarks)
Check out the readme, as there is more detail on these points there!
In a way, it is the opposite. Code is what you execute. The transistors are the engines that do the execution. They are going to expect a chip they designed with 105B transistors to perform (speed/efficiency/whatever) in the same ballpark as a high=end GPU for their AI workloads.

It is like knowing the kind of engine a car has. Not all V8 gas engines produce the same power, but knowing that it is a V8 instead of an inline three cylinder does give you an idea of the expected performance characteristics.
I am starting to believe a lot of people working in ai are sociopaths. Their fixation with impersonating people and stealing ip points firmly in that direction.
> Is it actually walking you through its thinking? Or is it walking you through an imagined line of thinking?

You can prompt an LLM model to provide reasoning first and an answer second and it becomes one and the same.

Worth keeping in mind that all of these points are orthogonal to the quality of reasoning, the bias, or the intentions of the system builders. And building something that emulates humans convincingly, you can expect it to emulate both the good and bad qualities naturally.
SpaceX Starship/Super Heavy OFT-2 Launch Authorized
Engineering an Escape from Poverty
The mental health journey of a software developer
Let me know when you start closing fossil fuel power plants like you closed your nuclear ones. So far you’ve just restarted some coal-fueled ones until the LGN terminal is done next year. And that terminal will bring in GAS, not solar or wind. [0]

Till then - you’re selling pretty dreams, while in reality killing people and dooming the planet.

[0] https://www.reuters.com/business/energy/germany-approves-bri...
> Everyone knows artificial neurons are not like biological neurons.

Not, apparently, the person I was replying to!
It can, it does.
"God is dead" is beyond passé in the 2020s, but in the 19th century nobody really needed a "god of the gaps." If a Friedrich Nietzsche equivalent was active today, and let's just say was convinced that AGI was possible, I kind of wonder what generally accepted grand narrative he'd declare dead beyond just human exceptionalism. Philosophy itself?
> No you can't, as you don't know if the time was New York, or London, or Morocco

Hmm. I'm not sure what you mean? Users in these kinds of applications specify their timezone somewhere. It usually isn't enough to rely on browsers for this kind of setting. For example, when you travel to a different timezone in Google Calendar, it warns you that your setting doesn't match your current timezone of your calendar, but the timezone setting is independent of your browser.

> Why, nothing has changed.

I don't think you're thinking of the knock-on effects of a random political change to a timezone in a calendar-ish application. If NY were to suddenly disable DST -- and for illustration purposes, let us assume they disable it DURING DST -- even if you store it in the (self-proclaimed) "correct" local time, people who are attending one of your events from a different timezone will observe your event shifting by an hour. Any event from someone else's calendar in another timezone will likewise be observed as shifting one hour. Thus, as a business, you must communicate to these affected users that they need to be aware, after all, someone a world away from the NY timezone is unlikely to be aware of the political ongoings of NY.

But this is an extreme case, right? Surely we'll get some kind of heads-up? It doesn't change the effect, it just delays it. Even if we store them in UTC, we can simulate the same effect by manually shifting people's calendars in that timezone with a single query.

> Your decision to ignore the users wants (I want an event as 10AM in new york) and replace it with your wants (I want to store time in UTC for some reason). That's wrong.

That's your opinion and ignores a whole host of potential other reasons to store it in UTC vs. local time, and none of it has anything to do with users, but business requirements in order to perform something more powerful and valuable than storing time.
Shouldn't inference be 99.999% of the compute cost over time?
Especially for MS.
Look how many Copilots they are cramming into their products
You are being too negative, you just have to believe in them.
Sometimes you can’t! If your business is making PC games you probably can’t avoid depending on valve. I’d you’re making mobile games iPhone is often the much more profitable platform than android and so without Apple you’ll go out of business. If your company business is on the internet google probably has the power to crush you completely (probably without noticing). And sometimes there’s no real way around it.
I'm curious, why couldn't the list of generic types play nice with functions operating on lists of interfaces?
> Writers overuse commas.

What is it about writing that drives people to write lists of imperatives for writing?

As writers we all start somewhere that is some distance away from our taste. As we progress we learn what little tricks we need to tell ourselves to achieve writing that makes us happy when we read it. For me, I might write, “start with the point, then expand; you aren’t writing a mystery novel!”
There have been several experiments that have showed similar findings, and I looked through half a dozen or so and didn’t find any that showed otherwise. Here’s one that you can browse:

https://www.eurekaselect.com/article/75099
> fully built Wranglers

Some built up wranglers are not as impressive as they look. They can wade through a lake, but the suspension won't actually flex that much over rough terrain.

Of course, some are absolutely mad rock crawlers.
WhatsApp is gated also. Repeating coopt did not clarify your complaint or wanted remedy.
https://mods.factorio.com/mod/recursive-blueprints
I do things like this from time to time with my Rivian. You're right that charging infrastructure is a challenge, but two things make a big difference:

- Lots of campgrounds have 30 or 50 amp plugs for RVs. Oftentimes off-road trips I go on start by everybody getting together at night so we can get an early start the next day. If you can meet near an RV campground (not always a great option), you can charge

- Most offroad trips are a relatively low number of miles. It can be pretty technical and you're trying to enjoy the time together. You can make it a lot of hours without spending a lot of miles

All that being said, I have been sweating it on the way to the nearest charger after getting off the trails.
Yes, gas stations in the middle of nowhere have let me use their 220V 30amps to charge. Campsites too. Billing can be automated with the current EV charging standard. You get about 5 miles of range per hour off a 120V 20A circuit.

https://supercharge.info/map

https://www.plugshare.com/
Is this the same beeline from 10 years ago? I sort of remember installing it back in middle school and really loving it and helping my ability to read walls of text. I never knew it got popular within the ADHD community or that it was still around.

Another reader helper I liked was the one that flashed words in place but that seemed more like a speed read hack rather than actually comprehending what you read, never used it seriously like BeeLine
I have, n=1, used racetams to help. Due to Trump Era policies, that door is closing fast. The thing that pisses me off the most is that drug holidays are illegal in some states. The FDA really does everything they possibly can to hurt people with ADHD.
Australia already has super animals and now it's getting super bugs...
I think he genuinely doesn't know, and he isn't being evasive so much as expressing his own confusion. There's video of his confession on YouTube and he just directly admits to murder. The whole thing is in a flat voice and he looks borderline catatonic. It's a really strange case.

He arguably belongs in a forensic mental health institution rather than a prison. Or maybe normal prisons should be more like hospitals.
This Nissan XTerra practically walked up it: https://www.youtube.com/watch?v=xZ8FwhUCBog
> that doesn't mean the OS UX can't / shouldn't be improved

Of course, OS UX can be improved. But not all changes qualify as "improvement". See some issues caused by flat UI here: https://uxcritique-blog.tumblr.com/
“Dark matter” is just another way of saying we don’t fully understand gravity. As a theory I’ve always felt it was taken too seriously. _shrug_
https://archive.is/Bzlpe
"but somehow I feel that's really far away ... its been two hours and we're just getting furnaces up"

...

"yeah ... its'a 30 lane wide sushi bus ... that's almost 900 underground belts in one blueprint..."

LOL! That guy's delivery is hilarious. And his patience is astonishing.
Sounds a bit like a Voigt-Kampf machine to see if they’re a replicant to me.

Greedo shouldn’t have asked about Han’s mother!
To be clear, it looks like there are 40+ DC fast chargers within 50 miles of this location, which seems to be Hollister Hills in CA. Hard to count because it is close to San Jose.
Hot take: It's okay if we don't consume all of the information before we die
Not sure what point you're trying to make. I'd love to hear if you know what point you're trying to make. Suppose I have you an answer to each of those questions. Now what?
AFAIK just like a ICE car? Except they have no center diff, just motors for the front and rear.
I don’t believe this is true in the Australian context though:

> Australian animal industries are one of the lowest users of antimicrobials in the world

https://www.amr.gov.au/about-amr/amr-australia/animal-health
In this case, you cannot escape the enshittification by paying.

Still not as bad as the "slacksticka" which is their icon now
Building and operating a fab is an extremely difficult and expensive task that will take at least 5-10 years to bear fruit. That makes it a high-risk venture which is hard to sell to the board and investors.

More importantly, the new chip production lines are dependent on hyper-specialized EUV lithography systems that only company is able to manufacture (ASML). ASML has their own limits to production too.
With a 1982 commodore 64, a tight polling loop could detect a button press within 7 microseconds of its occurence. An onscreen change could be displayed with another 5 microseconds (more if the display happened to be in horizontal or vertical refresh at the event time, but still.) Can any modern system give such tight IO timing?
Isn't the intention of public vs private supposed to cover the "tagging of code for a particular context"?

Or maybe we need more specific semantics around this that can cross cut the domain that public and private (and protected in .NET ecosystems) cover?
I stay at home all the time and code.
Humans are allowed to train themselves on copyrighted works without custom contracts, even though we may then go on to generate profitable work from our experience. An aspiring musician will be heavily influenced by what they’ve already heard, even borrowing melodies or styles from existing songs.

Maybe current AI output is still too similar to the training data, but that seems like more of a reason to regulate the output and not the input. We already have legal frameworks to prevent people from replicating the work of others. I don’t understand why there needs to be a distinction from using copyrighted works to train computers vs people.
I’m curious to know what everyone thinks of this trend. Do you view it as a good thing, bringing efficiency and economy of scale, competition and so forth? Or do you consider it a bad thing, another salvo in the War on General Purpose Computing [1] so vividly described by Cory Doctorow?

I, personally, am interested in retrocomputing, amateur/hobbyist electronics, and hobbyist computing (including semiconductors [2]). While these techniquess and devices may be light years away from anything resembling a computer that can compete with SotA commercial offerings, they do offer the promise of “keeping the candle lit” as it were. I will note that if you follow Sam Zeloof’s chronicles, he progressed through the earliest phases of semiconductor development far faster than the industry did back when it was pioneering the technology. Of course, he had the benefits of knowing it was already possible and access to the written knowledge of the experts who went before him.

[1] https://boingboing.net/2012/01/10/lockdown.html

[2] https://www.youtube.com/watch?v=qCSIGejNT4M
Investigating the impact of cold plunges on brain activity
Cool! Thanks for sharing. What do you mean that Ts transformers aren’t supported by default? Is this like a runtime modification of types?
...Would they really ship a premium truck without a locking diff?
The campground RV thing is an a-ha moment for sure. Good to know. Agreed on low and slow and being able to make a full day out of a relatively small actual distance. Depending on where you live though the trailhead might be quite a ways from civilization and so you eat range getting to it.

If I was going to get an EV truck Rivian would def be the way to go. Just don’t let the OTA update brick your infotainment lol.
My father had a friend who was a well recognised commercial voice over artist , and told me about his fees. There was a fee for doing the actual work, but a much bigger exclusivity/exposure fee designed to prevent his voice getting over used to the point where future work dried up.
I’m seeing: Company trots out their expert so you buy their product. Closed loop.
Trying to help too much, and give shortcuts to people who cannot otherwise evaluate when these shouldn't be applied has ill effects.

On the same note, I find the reasonning behind the advice way more interesting than the advice itself. It gives a good framing of the different issues to consider when writing conditional and iterative code.

Basically it should help newcomers to identify the issues they're facing and build their own personal heuristics.
> Because you are creating times for events you don't know what the UTC will be.

This is what settings are for. This was an enterprise application, so the timezone was set for the location of the venue, in the settings. We knew exactly what timezone to convert from/to.

> if you are lucky your guesses will be right.

This is software, there is never a reason to guess.
ORM idea is good.

The problem is libraries is bad, really bad.
Yeah, those look like gnobby tires to me. The F150 is running street tires.
Same as for Debian in my observation. Firefox uses Wayland by default out of the box for clean installs. But there may be still be legacy Debian installations which have carried over the use of X11 through upgrades etc.
Due to my age and work experience, I'm also familiar with archiving involving storing physical documents in cardboard boxes. My current job really is paper free and graduate employees joining will never deal with archive boxes.

Similarly, the icons on my mobile for making a call, answering a call and hanging up are all based on the shape of the handset for a corded phone.

The Save button icon in many applications is based on a 3.5" floppy disk.

I sometimes need to save data as a PDF, which in many cases involves "printing" to PDF. The icon is based on a paper printer, but the action I am using it for doesn't include any external device or paper.

This makes me wonder about what icons we could use in the future where so many actions are done via a touch interface on a phone/tablet. There are less physical objects involved in common actions. So the skeuomorphic approach to icons for buttons is becoming less valid over time especially for younger people.
> Information density has decreased even as screens have gotten bigger and LCDs have higher and higher resolutions.

Right, and here's an especially egregious example:
https://investor.vanguard.com/investment-products/mutual-fun...

When viewed on a laptop, there is so little information visible (without scrolling) that you might as well be viewing the page on a phone.
it ended up being a confluence of personal life stuff plus how pointless the jobs felt (especially after what a slog university was, i was basically already burnt out going into my first job.) i think boring meant adrenaline didn't kick in as much, and my first few jobs didn't really try to incentivize caring about work in ways that weren't blatantly exploitative or "on trust."

honestly, idk that it was really anything specific, so much as a bunch of different things finally catching up to me mixed with some bad luck
> What is the "Archive" icon even supposed to depict? The lower part of a printer, with a sheet of paper sticking out?

It's a storage box (also known as a "banker's box"), used for long-term storage of documents or other office materials. [1]

I guarantee everyone in a computer/IT setting has seen one.

[1] https://www.officedepot.com/a/products/6275549/Office-Depot-...
Hollister Hills is one of the best off road parks I’ve ever been to. It’s fortunate to be located in NorCal where charging is more common.
In his (for he is a 'he') defense, I believe much of the whole industry has been doing so over the past five years as well. Everything old is new again!
I'm reminded of a scene in a movie where a guy obsesses over efficiency in a workshop where a guy reaches out full extension, and ends up destroying the place by moving the box of parts closer.
My money's on "inclusive". That concept seems like a particular bitter pill for some folks.
Sorry: of course side effects and mutability (not pure functions and immutability) should be used with goto-level caution.

Also the "higher-level side effects" apply more or less identically to REPL development.
This is just a myth promoted by Big Compiler designed to sell you more compiler.
I've yet to see too much art from image generators. For sure content, but not art.
The notes on the “knowledge” RAG feature are interesting

From my conversations and experience people are finding RAG retrieval very specific to the business and data model. It’s hard to have a flat file one sized fits all here. Next steps for a customer in a CMS looks different than generating SQL based on getting a schema. Looks different than shopping an e-commerce catalog.

It’s basically a search relevance problem - harder actually - which are notoriously difficult :)
> I can't imagine what else that would be.

A hand bell.
Ask HN: How Is OPNsense commercial development (as opposed to cust support)?
I purchased 5 years of OPNsense and a Ryzen Embedded-based Deciso firewall. The problem is Unbound and DHCP lease registration is flakey and doesn't work. That would be okay if Github didn't have 2 other similar issues that have never been addressed.

In my view, it's like an airline with economy class monetizing misery to force you to pay for leg room. Dark pattern nudges and hints that working for $$ vs. frustration and fiddling against a black box. And, I'm wondering if they're too small of an operation to effectively triage and address concerns, or if they're relying on the Tragedy of the Commons crowdsourcing of "support" and again monetizing misery for $$$$ support contracts.
This is awesome thanks for sharing. I’m about 20 hours into my first free play run through and just got to end game science and have been progressively trying different belt patterns. The early half of my base looks completely different than my later half.
No! Please keep moving to Florida (and not the nearby state I live in).
The naive hypothesis is that life originates in many places in the cosmos.

This article isn't postulating comets as spreading life, per se, but as spreading molecular pre-requisites for our sort of life.
I wasnt bought up to ask for help. It was beaten in to me by parents and teachers, to work things out myself, today that causes me significant cognitive dissonance which is legal torture and a way to make people self destruct.

Besides why should other people know how I'm being done over?
Can confirm video acceleration works fine on Wayland. For some years you had to turn on some knobs in Firefox but I believe recent versions simply turn it on by default as long as you have a supported GPU. I have a fairly common Intel GPU and it all just works using Firefox LTS on Debian.
Manage medicine. Sign IEPs. An Ed. D is best for the cognitive behavioral therapy. Neurologists will typically know ADHD better than non specialized psychiatrists. Some GPs, like mine, are well versed in it and can manage it. Indeed it seems like regulations kill any hope of helping ADHD afflicted. You really need a caring person to help you. Remember, you take your medicine before it's in your system. I see it like this. ADHD keeps you from paying attention to indoctrination, but doesn't stop you from learning, so you are dangerous.
This is like saying all these HN people who graduated in university (or not) and develop software.
Artificial intelligence disrupting human intelligence, who would have thought?
Looks like there is a heated debate on the Rivian forum about this. https://www.rivianforums.com/forum/threads/quad-motor-vs-loc...

Lightning does have a locker although it’s hard to find details on how it works.

Cyber truck has two motors in the rear (one for each wheel) so ostensibly it could behave like a locker.
Google Cloud Incident – Firestore, Identity Platform and Access Management Down
> It took a few weeks of throwing away every non-essential feature and shuffling around what was left, but I just managed to squeeze the game into 48K RAM, which is the largest expansion the original Apple II would support.

64K with the add-on Language Card in slot 0:

https://www.computinghistory.org.uk/det/39956/Apple-II-Langu...

https://archive.org/details/a2alc
Quad motor is even better than a locking diff if all the motors are modulated right.

I dunno what Rivian does, but I saw that Rimac does 1 motor per wheel, and each motor madly modulates itself during launch control to stop its wheel from slipping... Perfect, maximum torque, all the time.
Note the huge difference in the kind of hardware required to do training and to do interference.
> A C programmer who doesn't check the validity of pointers passed to functions and subsequently causes a NULL dereference is not a C programmer I want on my team.

I disagree. Interfaces in C need to carefully document their expectations and do exactly that amount of checking, not more. Documentation should replace a strong type system, not runtime checks. Code filled with NULL checks and other defensive maneuvers is far less readable. You could argue for more defensive checking at a library boundary, and this is exactly what the article pushes for: push these checks up.

Security-critical code may be different, but in most cases an accidental NULL dereference is fine and will be caught by tests, sanitizers, or fuzzing.
Interesting reading. We need more innovation in UI/UIX. Personally, my mental health is affected by bad experiences and get flooded by a lot of content from different sources we need new ways for content consumption.
Ugh I wish Linus would put an end to this clown show.