skysight-inc/HackerNews huggingface dataset:
Same here. I think of this approach as a form of "financial firewalling"
Tackling is analogous to achieving. To put effort into and complete. To complete a tough subject. “to seize, take hold of, or grapple with especially with the intention of stopping or subduing”
Zeta provides you with reliable, high performance, and fast modular building blocks for building zeta scale neural nets at lightspeed with minimal code and a pythonic API.

https://github.com/kyegomez/zeta
Interesting! I’ve always wanted to get into beekeeping. How big of a space do you need for a hive though?
Stripe will pass all those chargebacks right on to OP, and take them (and the additional chargeback fees) out of the frozen $12k. (That's the intended purpose of these freezes.) This is horrible advice.
Id Software's history at that point (commander keen, wolfenstein, catacomb, doom) was entirely on x86 MS-DOS and they were exploiting all the tricks to achieve decent performance for games thought to not be possible on that platform.

So it seems very unlikely (to me) that they would develop the games first for a different platform, using a different OS, on a different CPU, with a different endianness.
artificial hierarchy

There is an artificial hierarchy here but it’s not the one you’re thinking of. It’s a hierarchy of abstractions. At the lowest level of abstraction you’re dealing with physics, Maxwell’s equations, materials and their properties. Above that you have the lumped matter abstraction (conductors, resistors, capacitors, inductors, diodes, transistors). Above that you have modular circuit components, ICs, digital logic. Above that you have CPUs, instruction sets, assembly language… This abstraction continues all the way up through software engineering.

The reason Dave makes this distinction is not because he wants to gatekeep. It’s because he wants people to learn how to build their own circuits rather than combining modules built by others. This is no different from a programmer telling someone to learn a programming language to build their own software rather than using Microsoft Office etc.

Dave does plenty of embedded programming himself. He uses Arduinos when the project calls for them. He just wants people to understand that there’s a whole lot more to understand when you go to a lower level of abstraction (lumped matter components).

I think it’s also an important distinction to be made because a lot of businesses have sprung up within the Arduino ecosystem and it’s brought a lot of new people into the electronics world. These folks are excited and enthusiastic but they often lack knowledge of electronics fundamentals and so they struggle to troubleshoot when things go wrong. It’s important to help these people find the resources they need to learn electronics so they don’t need to rely on others to troubleshoot their circuits.
Color Television Systems. January, 1951
You're missing the point entirely. It's not about the Mercedes. If anything, Google makes it impossible and unaffordable to serve up the useful information you desire.
It's pretty dependent on what exactly you want to do, but I have found the Signals Music Studio channel to be a great resource for learning some music theory and composition stuff.

Music theory is not a necessary entry point per se, but it can help to get some basic concepts into your head to play around with. But really, the best thing you can possibly do is just pick something that seems adjacent to music you like and just start screwing around (if you're a metalhead, maybe guitar, if you like EDM, pick any DAW, if you like jazz, get a decent midi keyboard, etc). Music really isn't an intellectual exercise, just start doing something, see what you like, and what you don't like.

I wrote this comment a while back on learning music theory, which has some more thoughts and also some links and pointers to various tools and resources: https://news.ycombinator.com/item?id=37078383. Might be of interest.
Flakes have a set of default outputs they can generate, like packages, devShells, templates, and NixOS configs. Nix knows how these outputs work and can validate them using `nix flake check`, or list them with `nix flake show`

But what if you want your flake to output a library? A Dockerfile? A Terraform or Kubernetes config? Nix doesn't know about those custom outputs, and doesn't have a way to validate that you're using them correctly.

Now with Flake Schemas, you can provide a schema so that built in tools like `nix flake show` and `nix flake check` can properly validate the new output. This makes it easier for Flake developers to communicate the interface of their custom output to Flake consumers
Really? The only reason that ChatGPT is more adept at coding problems is because there is vastly more training data. There's nothing fundamentally different between problem solving a coding problem and physics problem. Like all the others before it, I don't think this comment will age too well.
The speculation is mostly irrelevant and wouldn't even be happening if the expectation wasn't that the cost of housing would rise faster than the overall market. The real problem is laws that make it impossible or prohibitively expensive to build new housing, which constrains supply.

The speculators are going to lose their shirts when the unsustainability of housing costs growing faster than wages forces a response, and they're going to deserve to.
>I'm not arguing that it makes you rich, but you're definitely NOT "poor" if you have such an income.

It depends on where you live. In the Bay Area, you can earn $100k/yr and qualify for food assistance. Housing is the biggest expense, and it's only getting worse.

https://www.kron4.com/news/bay-area/100k-a-year-is-low-incom...
Being anti dam/nuclear/whatever doesn’t mean you have the same reasons as everyone else with that opinion. You can be anti dam because of safety concerns around failure of a specific dam. You can dislike nuclear because you dislike massive subsidies.

It’s important to address someone’s actual concerns not simply whatever you feel is easiest to attack.
>[OLD] AMD cards work very well in linux.

The new ones crash constantly and have new crash bugs every release and still 2 years later don't properly support 120hz @ 4k or anything HDMI 2.1 despite being advertised that they a) worked on linux and b) supported HDMI 2.1
Well, that's the entire problem now, isn't it?
Modular synths. Yeah, it's more tech, but it's so different from making electronic than on a laptop. I used to make music with a laptop, but after spending eight hours on a computer at work, the last thing I wanted to do was sit at a computer for "fun", so I gave it up.

About a decade ago, a friend of mine got into modular synths and got really good. (He ended up founding New York Modular Synth Society, btw. [0]) I'd see what he was doing and got jealous. So a few years ago I gave it a shot and put together a "small" system for a few thousand dollars. Now somehow I grew that to a $20,000 system. I'm still not "good", but fuck it. It's so much fun. I'm not very social, but there are a lot of modular communities out there, and they're all pretty welcoming and helpful.

[0] https://nyms.love/
Doom uses fixed point math so it doesn't matter if you have an FPU. But the fastest 486SX was only 33MHz, which isn't really fast enough for Doom, and they were typically used in cheaper systems with slower graphics cards/buses, which also made a big difference.
I don’t want a “safe AI”. I just want an answer to my prompt. Why would you for a moment expect AI to produce only sanitised output?
LIBS confirms the presence of sulphur on the lunar surface
Reads like some sort of parody to me. I+ was new to me too. "Intersexual" and the plus is inclusive of everyone that the previous letters don't cover. I guess there won't be more letters added then?
While I understand the point of expanding the term to give representation, at this point it is a caricature. They tried so hard to look inclusive that the term become so unwieldy and obscure, nobody would use it except those who are so deep into it and those who want to mock it.

Also last time it was updated, there is an A in the term somewhere. Guess they dropped it or forgot it.
Thanks, I will give it a try. I picked up ableton a few months ago and have been poking around. A deeper course like this might open up tricks that I am not aware of.
Sweden sure propagandized themselves to far better living conditions than rural West Virginia, that’s amazing.
> Building quizzes, tests, and lesson plans from curriculum materials

Example prompts that OpenAI shared here are a great start. However I think these use-cases are better served as micro apps built on top of these prompts. For example, a teacher will keep coming back to use this prompt with same/similar set of responses most of the year. On top of that, enriching the context with additional information pulled from local sources will quickly become a need.

ChatGPT's custom instructions will help with not having to repeat prompts but the interface falls short when it comes to repeat narrow use cases. This is where imo LLM apps shine. A simple app built with langchain or some low-code platforms and providing local data from a vector store can be super powerful.

We recently open-sourced LLMStack (https://github.com/trypromptly/LLMStack), a platform that allows users to build these micro apps to automate their workflows. Our goal is to make these workflows sharable so someone can download a yaml file for this prompt and chain and start using it in their job.
The generators themselves probably not, but the definition of all those registers is from hardware. These kind of code generators convert input source files that describe the hardware into C header files for the software.

But I expect AMD would be skittish about open-sourcing anything that could even remotely be construed as HDL, even if it's just dry lists of registers. Open sourcing the drivers is one thing, but the hardware itself is another.
486DX2/66 checking in
We call that "the public" and it's why restricted spaces with barriers to entry exist.

Allowing Z people to keep X people out of their groups and vice versa.
Why did old phone numbers start with letters? (2015)
> Reddit has been strictly controlled speech according to San Francisco values for a decade

This is untrue in practice, often wrapped in dog whistles, or rephrased as "urban" or something else terrible. Reddit is still an extremely racist place and its basically a game to find new ways to be racist.
Pretty sure the leak also lead them to release the Source engine's code, which was wildly successful.
https://www.pnas.org/doi/10.1073/pnas.0808245105 shows them winning on multi-body atom problems.

https://www.nature.com/articles/s41598-023-39263-7 shows them winning on simulating a nucleus.
One of the Stripe founders used to post on here but haven’t seen him in a few years. I think he took an e-beating in regards to tracking of users and hasn’t been back since.

https://news.ycombinator.com/user?id=pc

All I can say is good luck. At this point probably better off trying to pressure them from the outside via local media, social media, and of course taking them to court. Maybe the backlash will get them to resolve it faster.
> Soon to be: teachers ARE AI.

> soon humans will become mostly fit for manual labour

> without a human connection in teaching, children will grow up into psychologically damaged adults.

If humans are only going to be doing manual labor, what will the AI teacher be teaching?
Do you need 16+ years of education for manual labor?

Just taking your argument at face value, I don't understand how "AI replaces nearly all human knowledge workers" leads to "children become psychologically damaged adults."

It seems like it would free them from being strapped into a chair for 16 years and denied the opportunity to be children in an attempt to prepare them for a life of knowledge work? Unless we just keep up the ruse of an entire childhood of classroom based education for ... reasons?

To push past your argument, society and knowledge isn't zero sum.

I'm not writing software because it's the single most important thing in the universe for me to focus on right now. It's actually pretty low on the list of important things on the grand scale of important things. I'm writing software because it's the work that needs to be done right now and there isn't a replacement for me doing it.

I feel like you are asserting that plugging numbers into spreadsheets as an accountant or doing string transformations "at scale" to convert DB queries into HTML and JSON is both:
1) A fulfilling life
2) The only thing humans could possibly be doing of value right now; if you take this away there is nothing left

There are a tonne of fundamental questions/problems about life, the universe, interstellar travel, preservation of our species, etc. that I _just don't have time for_ right now because I'm over here trying to figure out how to take these bytes coming over the wire from an SQL query and pack them into a JSON object so a browser can hydrate this bit of HTML. And I'm sorry, but, this isn't how I'd choose to live my life if there was someone else I could put in this seat.

Please AI take my job so I can be free to focus on all of the stuff that comes with the next layer of abstraction/automation.
People migrate. Especially when they are better opportunities. The founder of FB "migrated" to Singapore from the US. So did the Dyson guy from the UK and he then moved back.

Using net migration as a statistic for the health of a country is no more (or less) valid than the TFR or longevity or anything else equally plausible.

Q: Say that Sundar Pichai or Vinod Khosla had not left India? Would their impact on India larger or smaller?

I would say India is better off that they left, maybe you differ?
This was very much all stakeholders coming together. The power company and the tribe that is supposed to own the land and water rights had an agreement as far back as 2008, but it required Congressional approval, Congress never voted on it, then it was repackaged as only needing agency approval, and got that, but then Trump came in with the mandate to make sure nothing Obama could possibly get credit for actually happened, so it was reversed. If they didn't need to involve the federal government, this would have happened decades ago.
didn't want to hijack the thread about my personal setup, but that's almost about right amount of power usage I aim at entirely, about 120-200 watts per hour: but there are other things plugged in besides my desktop like ... my entire house. Lights, freezer, monitor, radio, DC adapters, starlink. Another 30-50w is just insane to run Figma. My freezer chest uses less and at least I can grab a steak.
I'm not sure that's a bad habit - exploring lots of different interests is totally okay (especially for children but also adults). Each of those things you try teaches you something you may apply elsewhere. There's a quote I can only partially paraphrase where if you only stay motivated for some period of time for different activities, then "maybe you found what you were looking for" in one that you put down or rotated away from.

For myself, I'm sporadically very motivated to take photography seriously, but don't beat myself up if I'm not motivated for a few months.
Once upon a time, the professor of a class on logic I was taking pointed out that, if you proved some famous open conjecture (I think Fermat's was the example) using some simple proof that everyone had just missed so far, mathematicians would pat you on the head, maybe give you an award or something, and you (and the conjecture) would become another forgotten footnote.

Major mathematical advances come from difficult problems when a new branch of mathematics is invented to solve them. Think of calculus, non-Euclidean geometry, and Turing machines (and their equivalents).

The problem I see with Coq, the proof checker I've worked with the most, and the others I've seen is that the proofs they result in are neither good, understandable programs nor good, understandable proofs. They are as complicated as complex programs, but written in something that isn't a half-way clean programming language, but they're also not written as a traditional proof. That goes back up to the article's point that the purpose of a proof is to convince and enlighten others.

Sure, I'd have to say a proposition proven in Coq is true, but how do you get from that to the ideas in the proof letting you go on to other problems?
Most comments moved to https://news.ycombinator.com/item?id=37342914, which has the original source this article is reporting on.

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter." - https://news.ycombinator.com/newsguidelines.html
Or using pneumatic tools for 12+ hours daily for weeks, or spending time underwater with the worlds most powerful sonar
https://archive.ph/faCkr
What is IBM's competitive position? I always assumed they were in the assurance business. I.e. they have well tested systems with close support. Anyone with more insight?
Like humans, wasps seem to recognize faces as more than the sum of their parts
This would have taken you less time to Google that than it did to type the question in this public forum (the answer is very obviously 'yes', by the way).

"virtue signalling" indeed.
I think this is more appropriate when talking to people that are on your level or below you.

The post is about compliments to managers and I think it's valid to ask in that case, especially in large companies where you might not know the people you work with very well.
It's 60 C colder than noon temps at the equator
That is exactly what they did. It's discussed in the Masters of Doom book, as I recall.
yeah this is the same for me. I've slowly built most of our furniture and it's really hard to pay moneydollars for the crappy stuff (even high end) sold anywhere. I can't stand veneered products from Herman Miller for $2k that would be fun to build, but I don't have enough time to build them.
The people writing this stuff don't understand tech. they always want the good uses without the bad and don't understand it doesn't work like that
Please edit provocations and swipes out of your comments here. The provocation "shithole" led to a bunch of flamewar that I'm certain you didn't intend, and yet your comment is responsible for starting it. (I've detached those subthreads as offtopic and collapsed them, but they can be found at the bottom of the page.)

The site guidelines specifically include rules to prevent this kind of thing, so it would be good to review them: https://news.ycombinator.com/newsguidelines.html.

Your comment was otherwise fine, so I'm going to downweight this reply to the bottom of the subthread.

(Oh, but also please don't use link shorteners on HN.)
Probably one of AvE's best videos. I was just chatting about the peak Silicon Valley insanity that was Juicero yesterday.

That thing was built like a Bugatti. And he's like "why not use a roller instead of a press??".
My favorite isotope story is the detection of tungsten-180's decay. W-180 has a half life of 10^18 years. It was observationally stable, until its theoretical radioactivity was confirmed in 2009 by Cryogenic Rare Event Search with Superconducting Thermometers - an experiment meant to search for dark matter. Tungsten was used inside the detector, and the sensitivity of the instrument enabled the detection of W-180's alpha decay with confidence [0]. Dark matter was nowhere to be seen, but at least they still got an interesting minor result.

> All naturally occurring tungsten isotopes are expected to alpha decay into hafnium, but with extremely long lifetimes. Since the decay energies for all these decays are in the same energy range as beta and gamma backgrounds from the natural decay chains, their observation is a difficult task. Yet with cryogenic scintillator experiments, these backgrounds can be discriminated from the alpha signal, leading to a basically background free measurement of such alpha decays, see figure 13. Hence, the natural decay of W-180 was observed unambiguously for the first time.

Update: Apparently it was not the only rare decay detected during a dark matter experiment, in fact dark matter searches are a major source of rare decay detection. Previously in 2003, Bismuth-209's radioactivity was also detected as a bonus result of a dark matter search, with a half life of 10^19 years. [1] In 2019, the XENON1T experiment detected the radioactivity of Xenon-124 (again, because Xe was used inside the detector), with a half life of 10^22 years. By far it's the rarest radioactive decay ever directly observed by physicists [2].

[0] https://en.wikipedia.org/wiki/Cryogenic_Rare_Event_Search_wi...

[1] https://physicsworld.com/a/bismuth-breaks-half-life-record-f...

[2] https://en.wikipedia.org/wiki/Isotopes_of_xenon#Xenon-124
Seems like we could head towards a world where people go to school from home, learn from AI, work remotely, get food delivered, find entertainment in VR. Apartments get smaller and smaller, until most people are essentially just renting a room in a large dorm, which they almost never leave.
AT&T bills me a different amount every single month: I am not using a new service or feature, their massive billing software just can’t keep it consistent. Of course ACH is appealing to them for this - I can’t complain about the amount debited then.
If there's no flag indicating DST. America/New_York is the timezone designation.

Part of what makes TZ discussions incredibly difficult is that people play fast and loose with the terminology.

I think the person you're responding to is simply saying that if you made the meeting in a non-DST observing zone, the meeting time would still wobble in a DST-observing zone. (I'm not sure why they're noting it, because my comment also clearly spells that out, too, albeit in reverse. But yes, it works both ways.)
Here's the link to our database: https://vulert.com/vuln-db/

please feel free to reach out at info@devnack.com
Rich SF woman trying to end public pickleball court has one at home
Yeah, I'm not sure it's bad either, hence the question mark - but there are tradeoffs when you bounce around between stuff. Jack of all trades, master of none, etc. Still, I'm not going to change that aspect of myself - it's fun!