skysight-inc/HackerNews huggingface dataset:
The site says some of the centers let you live off campus. And why do you say you have to go months without drinking? I understand there won't be college parties there, but I assume you're welcome to go to a bar in your free time if you want to? A lot of the centers are in or near cities.
The modern codebase has grown from a legacy one. The legacy one with parts of the codebase that were C, then got partially turned into object oriented C++, then partially turned into template abstractions. The parts least likely to have comprehensive test coverage. That place is indeed where a compiler upgrade is most likely to change the behaviour of your application.
The Original Large Language Machine
Using the market size at $2700/kg to LEO to size the market is ridiculous when they are working on trying to get it to $100/kg to LEO.

If the only launch vehicle was the SLS, the market size would be $0. That's not meaningful!
> ROI, certainly.

I wouldn't imagine it's a high priority.
> Who out there is seriously using a compiler churned out in a weekend?

Someone at a chip manufacturer writing something for a brand new chipset, for example. It takes a long time to get stuff shoved into GCC. It's only in recent history has life settled on one or two "big" compilers. There are still plenty of other places where you will find bespoke compilers. Perhaps not commonly, but they do exist (especially in embedded).
So is everyday conversation.
Indeed, thanks for the explanation. Not being super familiar with the Scheme community, “R7RS” sounds like a high-performance Audi.
Interesting, parabiosis (merging vascular systems) between young and old mice did have large benefits.
Buy it up, and then?

If there's no government-enforced zoning restriction on new buildings (which are really monopolies on land use granted to existing landlords), new buildings will flood the market once you jack up prices.

A true monopoly can only survive by using government regulation to enforce its position - if not for senseless zoning regulation (government-granted land use monopolies granted to the middle-class in return for votes), housing wouldn't be an issue in the US.

So, it's not a capitalism/free market problem, dislocations in market are caused by government meddling.
> So out of all the things that are “controlling people’s minds” - drugs, alcohol, pay to win games, gambling sites, and the US news media, that’s where you draw the line?

I mean, all these things, if not banned, should at least be subject to regulatory limits. The concern is not the content itself, but the downstream effects on the population. We tolerate regulation on drugs, alcohol and gambling because of the serious negative aggregate effects they have on society. A democratic society based on rule of law should be able to collectively decide that the negative effects of some thing do not justify people's freedoms to do that thing. Without that principle, we might as well live in anarchy.
I how many failures are left unreported. That is dead units with some signs of burning.
It's not based on sqlite. We have a custom database engine which we needed for performance reasons for BitCraft. We need to be able to control very carefully what is done in memory vs on disk so that we can manage latency for games and other real-time/soft real-time applications.

Rust modules are agnostic to all of that. Right now they're not async at all since they take place in a transactional context and you don't want to await while a transaction is held open.
tclip: A pastebin for your tailnet
Yeah I mean I’m sure you look at Karpenter and think “well it does everything for free, and the code to choose the cheapest node would be straightforward.” Kubernetes already has sophisticated scheduling algorithms that could consider price as a constraint.

I can’t say what will people actually pay for, because CTOs and engineers are penny pinchers, they will go through a lot of pain to pay $0. They are the worst customers. IMO most allegedly B2B Y Combinator offerings are really B2C in disguise, selling productivity apps and pretty interfaces to 22 year olds with busy schedules of Bumble swiping who happen to work as developers and PMs at big enterprises. Because the senior people I know with the real budgets, they look at a thing and think “I’d program this with my headcount to save a 5% fee.” This is coming from someone who does charge a royalty only because it is customary in my business to do so.

People who spend money love their pricing “formatted” a certain way. CTOs love it to be formatted as “free” with a bunch of trickle priced exorbitant usage gotchas (Snowflake). They don’t love prices formatted as royalties. Time will tell of course.

Anyway, most use cases don’t even make sense, they are deep in the negative for ROI. Most enterprises cannot do software R&D like LLM model training or even serving. The biggest success story in town uses Kubernetes. I’m not sure if there’s space for 10 more control planes to run on top of your control planes, they add a lot of complexity for little gain.

A bunch of Kubernetes manifests to fine tune LLaMA 2 on a dataset hosted in blob storage on DGX machines is a commodity. People think it’s sensitive, there’s a bonanza for people who can author that YAML, it’s inevitable that someone will release a proper multi node training job with vanilla resources. Yet here we are, with a dozen “free” trickle priced weird CRD control plane-esque products obscuring this.
Data filtering implementation has different approaches among the mentioned policy engine. For OPA, custom Rego code could return the allowed data, and the caching mechanism will ensure its consistency and reliability. For Zanzibar, since the policy derived from the data relations, data filtering is using is an internal part of the paper.
I recommend the following article for more information about policy as code and policy as data to understand the context better - https://www.permit.io/blog/zanzibar-vs-opa
What's your magical alternative to a human system? Is it anarchy? No thanks, full stop. Is it "just make the laws clear and concise and easy to understand"? I take it you've never built software around human things before, or you would understand that's an unsolveable problem, and would require humans in the loop making human decisions just the same.
What's amazing is programmers haven't tared and feathered the standards committee and compiler writers for allowing crap like that.
I think you're evaluating this as a notation for defining sum types. But that's not what it is. It's a notation for defining a class hierarchy, with all of the additional affordances that gives you.

In practice, most real-world Dart code that uses sealed types also defines methods in those types, getters, and all sorts of useful stuff. Once you factor that in, the data definitions themselves are a relatively small part.

(Of course, you could argue that defining class hierarchies is already intrinscally bad. But Dart is an object-oriented language targeting people that like organizing their code using classes.)
Sure, ask the dinosaurs how that went. The point is: that was only a decade and only a relatively small asteroid and the effect was that the dominant species of the time was wiped out. Size is inversely correlated with frequency, so those smaller ones happen far more frequent. Anything larger than that and it is definitely game over.
As I said, the cranelift backend exists, and it provides many of the same benefits such as improved compilation speed. And it's written in Rust.

But it still feels like a trivia item. C compilers written in C exist, but almost nobody actually uses them. They use GCC, Clang, and MSVC, written in C++. Everybody knows that it's possible to self-host C, so the benefit of actually doing so in practice is minimal.

It's obviously possible to write a Rust compiler in Rust end-to-end. Acting like it's a second tier language because actively doing so not a top focus of the community is gatekeep-y and ridiculous.
Offensive as in “offensive to real wage slaves”
Building an efficient sparse keyword index in Python
Which is terribly unfortunate, because it solves very non-niche packaging problems in a very elegant way.
In France, during the late 90ies/early 00ies, we got a bunch of "quite direct" Road Safety ads.

The one that traumatized me the most as a child was:

https://www.youtube.com/watch?v=gpNMrcgiAdw
I really wrestle with "computers have learnt to use language". Really.

The term "stochastic parrot" keeps returning to mind. Does a parrot "use language"? Sure, gray parrots have been shown to mirror the "intelligence" of 4 year old humans [1]. But, for me, here's the rub, and this somewhat comes from Douglas Lenat's writings about his AM and Eurisko programs, where he pointed out that, while his programs had "discovered" novel (to the program, not humans) solutions, they had no clue how to name those solutions. In fairness, Eurisko did, in fact, make some discoveries in VLSI design [2].

The rub lies is in the fact that, like the Eurisko VLSI design discovery, there is no doubt in my mind that AI is now and will continue to evolve to be powerful tools in human endeavors to solve complex problems.

But, "using language" by a computer, in my mind, is hard to be interpreted in the same ways as humans use language. It's my opinion that some of the banter in the linked video seems to ignore that distinction.

[1] https://news.harvard.edu/gazette/story/2019/02/harvard-study...

[2] https://onlinelibrary.wiley.com/doi/abs/10.1609/aimag.v3i3.3...
Also available as an article: https://neuml.hashnode.dev/building-an-efficient-sparse-keyw...
Absolutely. This was the original reason that we built this system. We found that we could get much much better performance when dealing with persistent data by putting the logic in the same process as the system which persists the data.
What's odd about that example is that the optimization is only valid if the loop in fact overflows the array every time. So the compiler is proving that the array is being overflowed and rather than emitting a warning to that effect, it generates absurd code.
Maybe they used that experience decide that it would be cheaper to just build a huge rocket? The ISS also had the benefit of the shuttle, while US flights to LEO were in turmoil when the SLS was funded. It also wasn’t clear in hindsight how completely and utterly inept Boeing was and how effective SpaceX was going to be.
This is kind of incredible! However, I wasn't able to get the video to work.
I wonder how much pornhub and related are,
Or at least painfully un-screw them.

You can't JUST blame the fed though - the more direct way the government pumps up prices is through mortgage buying via fannie and freddie - yes, at low rates set by the fed.

Don't feel bad for buyers though - they're getting houses at the same monthly payment at a much lower purchase price than otherwise. And if/when rates go back down later, then they can refi to a lower payment as well. And they get to stick it to the next buyer with a higher price.

So yes, I agree with you.
Apple Card Named Best Co-Branded Credit Card with No Annual Fee by J.D. Power
Show HN: Streamlit Nutrition App
Founder of Permit.io here- cool that this article grabbed some love.
For those of you not sure which is the best from the article- Permit combines all 3 together.

- OPA/REGO or Cedar at the edge, for quick efficient and zero latency policies
- And Zanzibar at the cloud control plane to manage the overall picture and relationships
Urban Dictionary says:

NEET

This is a term used in the field of education, the acronym stands for; Not in Education, Employment or Training but young people have started to use it as a term for bums/layabouts with no future.
Interesting, fits the current thing… well?
Often candidates already have a job and are looking to see if they want a change. There's parity in such situations.
And usually that's a crappy database and a crappy compiler. Because they didn't start out as such.
Cost of goods sold.
Brief, if almost 4-year-old article:

https://arstechnica.com/science/2019/11/nasa-does-not-deny-t...

The ~$5B figure is in the final para. And that still sounds like it excludes ground systems and Orion development costs. (Plus ~4 more years of ever-growing bloat, obviously.)
For not much more (US$200) you can find lots of P40s, which is a generation newer and will give you double the memory bandwidth and FP32. That being said, used 3090s are going for about $600 now and are much better bang/buck and easier (software and hardware) to setup.
The image in my head of you bashing the harddrive gave me a good laugh!
Fresh evidence of ChatGPT’s political bias: study
Cost of gallium peaks after Chinese export restrictions land
> They proposed that we genetically engineer a species of cat that changes color in the presence of radiation, which would be released into the wild to serve as living Geiger counters.

This would seem to fail as a long-term plan due to genetic drift and natural selection.

Presumably, there is no reproductive advantage to the cat in expressing fur color that indicates radiation. In the absence of selective pressure, the phenotype will gradually disappear as the radiation expressing cats mix with non-expressing cats. Since humans won't be actively maintaining the phenotype in the population against genetic drift (the opposite, in fact, since they avoid the cats) then over hundreds or thousands of years there will be no indicator cat phenotype.
This is not consistently true - I can allocate only 8gb out of 64gb
> old Connor 40 meg drive

I would like to call out to the younger readers that this is not a typo. Think about how minuscule the capacity of this hard drive is, and also that it's entirely possible it was a full height 5.25" drive, which is 3.25" tall!

Here is a fun tour of old drive technology that goes into just how amazingly simple some of it is: https://www.youtube.com/watch?v=8LbFKV_pPAE
You seem to be ignoring history for the sake of defending a false western narrative.

The reality is it's just one of 100s of centrally created false western narratives you may have fallen for.

If you are in the US, I cant completely blame you. There are too many drug dealing and human trafficking family fortunes in the US ruling class for the truth about one of their largest crime spree victims to easily emerge. African history is another victim of similar fraud.
The spacecraft doesn't have a fuel gauge ...

Zoom call with 100 Airbus engineers ...

The original software for part of the onboard navigation system was running on a Windows 98 PC that no-one could find the password to and ended up using bolt cutters to extract the hard drives.

Talk about a deep space horror story!
My understanding is the BeuOrd (or BeuShip? I don't remember which) "didn't want to waste money on testing it", so instead we wasted hundreds of them fired at japanese shipping that didn't even impact their target, or never had a hope of detonating.

Remember these kind of things next time someone pushes for move fast and break things in the name of efficiency and speed. Slow is fast.
> I wonder if there could be a service which you use with your real identity registered, but the certs it gives you are untracked to still allow for possibility of being anonymous.

This is possible with the German identity card. (I have no idea but my guess would be that this is possible with other identity cards from Europe or around the world too.) You can even make age checks with out transmitting the actual birthday. It just returns whether the card holder has or is above the age in question. You can't cross reference those certs with other sites.

It really grinds my gears if a identity check wants a video call or what ever instead of them using eID features.
Kinda interesting that new farming techniques are still being discovered. It seems like someone in the past should have tried this experiment and kept some fields unflooded but no one ever bothered to do the experiment and measure yields.

Something AI might be good at is suggesting new farming techniques and processes for increasing yields. There is probably enough literature in agricultural sciences with data for various experiments that could be used as a training corpus.
Agree and came here to say as much.

Devil's advocate, assuming limited resources for the program, it makes more sense to invest them in younger cohorts in terms of total ROI to society.

However, surely doesn't satisfy the principle of equality under the law. Alas
The three big questions:

1. How big is it?

2. Who owns it?

3. Who locks it?

Most undefined behavior in C/C++ involves those three questions.

#1 is historically the most troublesome. And the most inexcusable. Pascal, which predates C, didn't have that problem, because arrays carried size info. Nor did Algol, Modula I, Modula II, and Modula III. Modula I was a very low level language - device registers were a language concept.

Something I wrote on this back in 2012.[1] There was some consensus at the time that this would work and would be backwards compatible with C. But it would be a tough sell, and I didn't want to spend my life selling it.

[1] http://animats.com/papers/languages/safearraysforc43.pdf
For forklifts, see: Staplerfahrer Klaus
<https://www.youtube.com/watch?v=psAWGv5O7Zs>

(If you have not seen it, I implore you to watch the entire thing.)
Between this and CNC it is amazing how highly technical and how high the education requirements can be for “blue collar” work
My brother went through the job corp program in the mid aughts outside of Portland, Oregon.

It was a great experience for him. He struggled throughout school[0], so at the beginning of his high school "career" he dropped out in favor of job corps. As a double-whammy, he's autistic. The structure of expectations and responsibilities that each individual had to handle every day worked great for him.

Ultimately he didn't enter the career field he chose for job corps, but it did set him up for success later. Inevitably he ends up in leadership positions at places he works.

He also got his high school diploma through the program.

[0] Generally because he didn't fit in socially, and teachers treated him differently. He's very smart, but historically had a difficult time applying himself.
You can use SpacetimeDB as an embedded library as well. It depends on how you want to use it. sqlite doesn't really provide you a way to have replicas of your data or manage the data across multiple machines. It's complicated, but the idea is similar in a sense.
They tried to - announced it publicly but were met with broad bipartisan opposition so they said they were going to privatize the program instead, which was also met with bipartisan opposition, so I think they just gave up in the end and left it alone.

https://www.washingtonpost.com/politics/trump-administration...
At a billion-dollar fintech, some engineer thought gRPC is too complicated.
So, he built someything from scratch.

A year later, there was a team of 5 engineers maintaining a half-baked implementation of gRPC.
Good for him.
Bad for the company.
That's like saying that taking a sample from a song and putting it in a remix is just a different way of storing the original song. If I cut the original song up just right and put enough samples across different songs...

The issue here really lies in "yeah so how actually DOES this make a difference" legally speaking. It just seems unfair that I'm not allowed to copypaste a text verbatim or upload a movie to youtube that I don't own the copyright for, yet OpenAI can happily commercialize on content that has been sorted and rated for quality by someone else.

The question is "are they allowed to do this under the umbrella of current copyright legislation?" and the answer has far reaching implications.
I consider the right of publicity to be IP. I base this primarily on Shaw Family Archives, wherein the grantees of IP rights were denied right of publicity because it did not exist as an intellectual property right at the time of Monroe’s death, not because RoP is not intellectual property.

I’m curious if you can set me straight with a citation, or whether you would contest mine.
Look at the federal gov.
Given how easy it is to build a Turing machine, I'd argue that building something you don't envision is the 99% of the time rule and it's already captured by https://en.wikipedia.org/wiki/Greenspun%27s_tenth_rule "Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp."

In fact I'd argue that it's much harder to not accidentally build something that you don't envision.
This does sound like a fun use case, but I wouldn't even mind being allowed to browse 2d representations to get an intuition of the clusterings
Joys and pains of insects
Unlike cars, going to website happens alone in your house.
Huh? all of pre-Medieval society was relatively emissions free and infinitely sustainable
> Most graduates of Computer Science programs can, perhaps with some trouble, implement a half decent C compiler in a weekend or two. This is not a footnote. This fact alone means that for any given piece of hardware you're more likely to find a random C compiler you can use than anything else.

I think C being a (relatively) very simple is indeed a feature it has - however not so much because you can make a compiler for it easily (not that it isn't a pro, but it isn't that important in practice) but because it means it is easier to learn and easier to write tools for.
I think the big theme around Webb is that certain events seem to have happened much more quickly in the early universe than we can explain. It's at the point that it is a crisis in astronomy and not just an "improvement in knowledge".

For a long time it has been a big mystery how the supermassive black holes formed at galactic centers, it is not clear at all how they got so big so fast.

In recent observations it seems that many other processes happened much more quickly than we expected so either we're going to understand how things happened so fast or maybe what we think was the first billion years of the universe was really the first ten billion years or something.

Related to that, Webb is likely to reveal evidence for Population 3 stars that formed from gas that was ultra-low in "metal" content (astronomers call anything heavier than helium a "metal") and also where the gas clouds were warmer than gas clouds that form stars now. Such stars likely formed very fast and got huge and Webb is likely to see them

https://ned.ipac.caltech.edu/level5/ESSAYS/Carr/carr.html

The other big mystery in particle physics which might be the key to the other mysteries is the nature of the neutrino mass. The nature of the mass term of the neutrino is still unknown in the standard model (it's a "missing piece" not "physics beyond the standard model") and there is the mystery that unlike every other particle we only see left handed neutrinos

https://cerncourier.com/a/turning-the-screw-on-right-handed-...

It is possible that there are right handed neutrinos we can't see, and if there aren't, there is still something weird about neutrinos because they would have to be their own antiparticles. Right handed neutrinos could explain dark matter and the asymmetry between matter and antimatter in the universe, see

https://arxiv.org/pdf/1303.6912.pdf

I'm not sure if we will "crack the case" of the neutrino mass in the near future of all the alleged mysteries in physics this is clearly a missing puzzle piece whereas other things like sparticles and axions are more of a solution looking for a problem.