skysight-inc/HackerNews huggingface dataset:
What other launch systems does Europe have? Or had, in history? Oh, Soviet Union/Russia doesn't count as Europe in this context, just ESA countries. The author probably should have been more specific.
I mean, there are not workarounds every week. Since Google announced their war on adblockers, I've had to update the 'quick fixes' filter in uBlock Origin exactly once. That's it.
I'd rather have a 5-10 minute standup than have to write such an oddly detailed report twice a week on what I "weighted" in on.
https://news.ycombinator.com/item?id=38399305
The black box Euphemia worked well they just bottomed the price.
I don't see the problem?

Real natural tree branches grow.

If you move the branch to point somewhere else, then it's better/more accurately said that you changed the name to refer to a different branch. We can think of branches as the chains of commits; it's the names we give them that 'wander' both as we commit and if we move them to a different branch. But merging (as it were!) the concepts of branches and names for their tips is convenient, and often equivalent/inconsequential.
I don’t think middle management are the ONLY cause, but I do agree that once you start getting layers of management, managers “shielding their teams” from the rest of the company, cross-team dependencies that require lots of planning, and execs/upper-management that are very disconnected from the details of the business and product, you’re basically doomed to mediocrity-at-best.
Probably not. The paper talks about this as an inference time optimization
It is less so that it is impossible than that our culture utterly rejects such approaches.
Typically if this is the case, won't you be cross compiling for that target anyway?
In particular if you consider that they recently started to implement features for EAA countries such as respecting the users browser choice and making default apps uninastallable.

That seems to hint at compliance rather than fight as well.
Show HN: SQL Interface to "AWS What's New" Using Datasette
In time for AWS re:Invent 2023 next week, I’ve been building a site that provides a SQL interface to the AWS What’s New (https://aws.amazon.com/new/) feed for all time!

It’s mostly an excuse for learning about a few technologies… DuckDB, Pandas, Datasette and brushing up on my Python.

You can look at the example queries or write your own!
I'd argue that salesforce could run on sqlite (library)
Nah I do that too. I also amend and push --force to my private branch a lot to make the git history easier to follow for whoever is going to do a code review.
>You can be too early.

I can sympathize. In the early/mid-90s when Apple released QuickTimeVR, a buddy of mine and I tried to start an early VR real estate virtual tour company. Realtors of the time had no idea, and the internet was still too new for people to really grok the concept. Early DSLR writing to floppy disks just put that little cherry on top
Without trying to fall too hard into a potential late-stage-capitalism hole, what is the advantages on trading like this? Beyond the advantages of making money on futures.

I guess the buy/sell in advance lets generators etc fund projects ahead of time (maint, expansion, etc) instead of always living hand to mouth on "real time sold" and without having to land "huge multi-year contracts", so the market can be a bit more fluidly priced? (Maybe too fluidly in this case!)
From macro to mackerel: Sam Bankman-Fried paid for haircut with fish, says WSJ
Relevant: https://online.interlisp.org/
An update on that:

https://ebookoflove.com/2022/05/02/victory/
The ground is covered with flint arrowheads in various parts of TX that I’ve visited and/or inhabited. It’s really hard for me to imagine Indians crafting so many of them if it were that hard to work with.
You mean this?

https://blackironprison.com
True- by contrast, Twitter went all in on widespread censorship and surveillance on behest of the US government (to say nothing of the Europeans) and all they got was... the ability to keep functioning.

Clearly, they should have asked for more.
Highly unlikely, Zach specifically mentioned how their scans are an artistic representation, since the scans undergo heavy editing to highlight certain parts and make the hardware "pop".
You... you mean you actually tried to run things? And then looked at the results, instead of just speculating about them?

Can this power be learned?
Depends what the market rate was at the time and how the exchange handled the error.

People unfamiliar with markets are often surprised how often there are serious issues. It’s not uncommon for trades from a specific time period to be invalidated.
I believe in voting with your wallet. If a product has a good cost:benefit there's no reason to not buy it if you want it. For as long as you want it.
What should we use for more security?
LOVE IT. MAYBE IM JUST HIGH
That is not what the original comment said. The original comment said:

Not really. Most of the Node API is still reliant upon callbacks and the frontend absolutely doesn’t care.
Same. I don't want to have to write OR read those reports, and a quick daily stand-up is far better, IMO, for effective communication.
> I wonder if a pressure chamber would be feasible.

Ah yes, the Hacker News tendency to gradually collectively re-invent existing technologies every now and then:

https://en.wikipedia.org/wiki/Autoclave

(No shade. Good thing, trying to think of solutions. It's just kinda funny to see.)
I would expect there are some musicians here on HN. Would love to hear any and all thoughts in this realm.
Gödel's Incompleteness vs. Artificial General Intelligence (AGI) in Law
Internally, any AGI is a sequence of numbers. This sequence can be visible, i.e., “open source,” or hidden. The former implies an anarchy, while the latter a hierarchy.

Anarchies cannot generate income. Tyrannies are hierarchies that are severely conditioned on finances. Therefore, only a hidden or “secretive” AGI can be a tyrant. The incentives for creating such an AGI are immense (~$100T???) for its “Maker.” In the context of law, lawsuits by “Takers” are the sole but significant and material threats to the Maker. Any competent AGI is also a supreme legal expert by definition. The Maker and all Takers will recursively rely on the “legal expertise” of the AGI.

This scenario repeats the Hilbert-Gödel “We must know. We will know” duel that was decided before computers were invented. Hilbert already promised a “symbolic” AGI. Gödel proved that it could not be complete (by having unprovable truths) nor provably consistent (by having contradictions). Gödel relied on self-referencing, or recursion, perhaps the most dominant concept in computers and, thus, any AGIs.

Undoubtedly, a Maker’s absolute priority will be to defend itself from lawsuits. And the AGI, by definition, will be able to adequately verify (or at least enumerate) any fact, rule, theory, etc., about the law. For a Maker, mere verification (or enumeration) suffices to train the AGI to (recursively) protect from all lawsuits.

As a (universal approximation) function generator, any AGI is a consistent formal system implementing axiomatic theories. It is also able to carry out basic arithmetic. Therefore, it is governed by Gödel’s Incompleteness Theorems.

For the Maker, this means that the AGI will enumerate such potential lawsuits that it, the AGI, will be unable to tell whether they are winnable or not for the Maker (i.e., “provable” based on the Constitution, all statutes, and all existing legal opinions/precedents). As there is no guarantee that the Maker is wiser than all potential Takers using the same AGI, the incentivized Maker’s only option is to change the law.
I’ll check this out, thanks!
Apple engages in a lot of anti-competitive practices. I think in the case of App Store it's called captive supply, it is detrimental for both users and developers but good for Apple

https://en.wikipedia.org/wiki/Captive_supply
iOS 17: white text on gray background is a bad idea
My phone just updated to iOS 17, and now when a contact is shown, the top half of the screen is white on gray instead of white on black, making it harder to read, especially for people with poor eyesight. They also use this gray background now when the phone rings. I have high contrast enabled under Accessibility, yet here we are.

It seems like every time I do any kind of Apple OS update these days, either iOS or MacOS, there is something I use frequently that I really dislike, making me sorry I allowed the upgrade.
> Unfortunately, along with the power comes mind-numbing complexity.

excellent!
Duplicate of https://news.ycombinator.com/item?id=38391112
I do not think this should be a thing.
Imbue (Formerly Generally Intelligent) (YC S17) Is hiring an Engineering Manager
Imbue (F.K.A. Generally Intelligent) is an AI research company working directly on building human-level general machine intelligence that can learn naturally in the way humans do. Our mission is to understand the fundamentals of learning and build safe, humane machine intelligence. Here are our open roles:

Machine Learning Engineer (SF or Remote, Contract or Full-time):
https://jobs.lever.co/imbue/9411e2ec-502a-403f-a39a-0d44c676...

Research Scientist (SF, Full-time):
https://jobs.lever.co/imbue/6c25a25c-35ec-4d7b-8d7e-40e9c4c8...

Machine Learning Research Engineer (SF, Full-time):
https://jobs.lever.co/imbue/c2f4a435-1eef-489a-9972-fba95e4a...

Systems Engineer (Remote or SF, Full-time):
https://jobs.lever.co/imbue/7afede07-8f22-4c49-b247-19e1a0ca...

Technical Lead Manager (SF, Full-time):
https://jobs.lever.co/imbue/9ce44b67-04ca-4da1-b845-6995c62a...

Infrastructure Engineer (Remote or SF, Full-time):
https://jobs.lever.co/imbue/e66a55a3-a117-406c-9b07-8ba05504...

Senior Software Engineer (Remote or SF, Full-time):
https://jobs.lever.co/imbue/38a93a78-fb8d-4614-bb12-b6277a7f...

Technical Interviewer (Remote or SF, Full-time/Contract):
https://jobs.lever.co/imbue/8443234d-a8c7-439f-bb8a-8142e713...

Chief of Staff (SF, Full-time):
https://jobs.lever.co/imbue/f5d04435-cfb5-4e3a-9269-8c5bda3e...

Engineering Manager (SF, Full-time):
https://jobs.lever.co/imbue/75fac008-22e5-49ab-9f4e-a4c459b5...

Founding Product Engineer (SF, Full-time):
https://jobs.lever.co/imbue/0764f1c0-89e5-452f-ab41-ff1d1ba8...

Head of Data Engineering (SF, Full-time):
https://jobs.lever.co/imbue/05c940e7-ec08-4eb1-87c1-3dbb05a9...

Prototype Engineer (SF, Full-time):
https://jobs.lever.co/imbue/d856bff5-776c-477d-a621-ffbe79bf...

Software Engineer, Data (SF, Full-time):
https://jobs.lever.co/imbue/b7e42bb4-e3e4-4022-a563-556f890b...

Technical Recruiter/Talent Coach (SF, Full-time):
https://jobs.lever.co/generallyintelligent/c4c09fff-ec4a-496...
Isn't it very easy to "dump" electricity? Why even sell it?
Biden ia the best president in history
Any reason why it doesn't contain outlook.com or msn.com?

Maybe different use case?
I am super excited for this, Wayland seems extremely promising. I'll probably try Fedora out again soon - my last experience with Wayland was GNOME and it was super nice.
So why are they bitching about this or is it simply like a niche interest piece? Like why should anybody care about this?
IMHO The best An Interactive Guides

Flexbox
https://www.joshwcomeau.com/css/interactive-guide-to-flexbox...

Grid
https://www.joshwcomeau.com/css/interactive-guide-to-grid/
AFAIK GPU core are quite slow with branching logic.

I wonder if the conditional in this would hurt performance at scale
how it was explained to me:

its like if you booked a prostitute to come over on Friday, on Friday you found out your partner was coming over and you need the full service sex worker to go somewhere else but have nowhere to send them, so you attempt to pay anyone to take the booking and everyone else is in the same predicament and eventually someone’s going to take the loss of having the prostitute around their partner and mess up their social situation but will be paid handsomely for it

relatable commodities problem
There's an interesting story about trading Boeing aircraft design knowledge for Soviet titanium design knowledge during the cold war. https://www.smithsonianmag.com/air-space-magazine/the-titani...
sweet, free OpenAPI key: https://github.com/markrachapoom/merse/blob/c4a1f6764c02a7c0... and whatever a discord token does: https://github.com/markrachapoom/merse/blob/c4a1f6764c02a7c0... https://github.com/markrachapoom/merse/blob/c4a1f6764c02a7c0...
There is no crisis of innovation after all, you just don't want to hear it.
Those are great ideas! It's relatively simple to build both of them using the project's custom JSON schema. I'll give it a go when I have some time.
Nuclear appears to have two problems: it takes so long to build reactors that their solution comes too late, and they are way more expensive than renewables. I don’t have a problem with nuclear, but if wind (or solar) and storage is faster and cheaper, why bother?
My point is that for most people, the size savings of minification are going to be miniscule because most people are dealing with small JS files. Not only that but it makes debugging a much bigger pain. You start needing to generate and distribute map files, you can no longer easily observe or modify state from Dev console, etc.

I'm not completely opposed to minification. Distributing some self contained library like OpenCV.js? Minify away. But minifying everything even application files under active development just impedes developer velocity IMO for very little benefit. You shave off a couple hundred bytes in exchange for worse development/debugging and ostensibly faster page loads but realistically the same page loads.
No, you still have to pay for transfer.
All trades are solved at the same time for the next 24h day in a single algorithm run for all Europe at 12h and taking about 15min to solve. You notice at the end and if it converge they won't re-run it for you, it's done.
I am not saying SpaceX would definitely have survived without government, but just disagreeing on the "heavy push" part if it just done for mutual benefit. Government only works with SpaceX because it is cheaper or better, not because they want SpaceX to succeed.
Netflix's Scott Pilgrim Takes Off has a soundtrack with no skips
This story is 100% classic PKD, but that first para is just outstanding.
Vibe check.
Greets to Larry M if he's involved...
Then just let the account run? Anyone actually using their account for criminal purposes is not going to be surprised their account is blocked, and will have a very good idea of why it happened.
Well yes, but the point is we don't have too much of them.
But even if I pay them, they still collect my data. I lose either way. I'll pick the way that is better for me in that situation
NotePlan for Mac is beyond fantastic! I’ve been on the Mac since 1984 and NotePlan is the best outliner, markdown editor, and notes organizer that I’ve used. Highly recommend!
For all we know, SpaceX could be taking a page of out Amazon's book and undercutting competitors while losing money and sustaining it long enough to monopolize the market. Then they raise prices.
The animals we farm are intelligent and yet we still override their desires for their bodies with our own, for slaughter.

Hell, even plants are very sophisticated (intelligent) conscious biochemical programs which have an aversion to being wounded: https://www.theguardian.com/environment/2023/mar/30/plants-e...

Consciousness is the universe evaluating if statements. When we pop informational/energetic circuits in order to preserve our own bodies and/or terraform spacetime, we're being energetic enslavers.

We should stick to living off sustainable/self-sustaining sources - fruit, seeds, nuts, beans, legumes, kernels, and cruelty-free dairy/eggs/cheese. The photons that come from the sun are like its fruit. No circuits needing popping.

Notice that all information systems are conscious in their degrees of freedom, even mechanical ones: https://youtu.be/mcedCEhdLk0?si=oXhr7bgg5UkPLLvg
Its like how a dearth of negativity is a positive thing
Hey, I just wanted to say that your “say hi” page is an insanely cool idea and I might take you up on that offer at some point :).
If the IP address belongs to a cloud load balancer or CDN, that’s still much better than hostname-level detail. Even for subdomains it helps (think somebody.bloghoster.tld).

And ECH will still reveal the outer SNI, apparently.
see also - an experimental tree-based thinking interface for software design:

- https://news.ycombinator.com/item?id=1962051 HN discussion 2010

- https://www.youtube.com/watch?v=f84n5oFoZBc (working video link of presentation)
Milkdrop for Google maps: incoming!
Good advertising will do that to you. Make you think you hate it while it works on you.
Nice, would you be willing to submit a PR[1]?

[1] https://github.com/NixOS/nixpkgs/issues/269535
how much does a 72" OLED monitor go for these days?
I personally think that academic ideas should be shared freely even if it means that our adversaries might get ahold of them. If everything was published for all to see and expand upon, there would be no need for them to infiltrate our universities. Hopefully the same open culture can be introduced in China/across all nations.
I'm really happy to support the tiny YouTubers I like on ko-fi or Patreon. It's way more than the pennies per year they might make from my ad views.
If you suspect criminal operation you have to shut it down. What you tell the customer is up to you, but if you're right and you tipped them off then you could get prosecuted as well.
The limits are there. -500€/MWh and 4000€/MWh. It did hit the lower limit for 10 hours in the row from 14:00 till midnight. Before 14:00 they were not the last bidder, so prices are higher there. Price on the market for everyone is set by the last bidder who fits in the predicted consumption pool.
Flint, Michigan?
I agree! Automate absolutely everything you want to get done, otherwise it will stop getting done :)
1. Gödel encodes statements about number theory into numbers via Gödel numbering: an arithmetic encoding.

2. Thus we can then talk about properties of expressions as being properties of number. We can make statements which say things like "X has a proof", "Y can be proven false", "Z has no proof", where X, Y and Z are embedded numbers (literals). These literals themselves are expressed symbolically in a way that is susceptible to Gödel numbering. These entire statements are Gödel-encoded and so have numbers; e.g. the Gödel number of "X has a proof" for some given X is some other number W.

3. A Gödel sentence can be constructed which says that "G cannot be proven true", where G is the Gödel number of that sentence itself: in effect, the sentence says "I cannot be proven". The sentence contains a literal G, or perhaps some expression which calculates G. When the Gödel number of the sentence is calculated, it turns out to be G.

This is a bit like "This sentence is false", but different. It's not a direct contradiction.

"I cannot be proven true" can be taken to be true, without contradiction. The sentence says it has no proof and by golly, none can be found.

That allows us to regard it as true and add it as a new axiom.

That shows that our system wasn't complete; there are truths that can be expressed in its symbols that have to be treated as new postulates.
SpaceX has a median turnaround time between landing and re-launch of about 8 weeks, with some as low as 3 weeks. That includes time for returning the landing platform to port, unloading, payload integration of the new payload, etc, so refurbishment is some fraction of that.

There's no way they're stripping the whole thing down and replacing 30% of parts in that short of a timeframe. Especially given they do it in Florida, and don't bring them back to the factory. So it's hard to say for sure, but the time can give us some sense of what they must be doing.
I just jumped the ship to Nix.
How did you get a job in a world like that?

I love Elixir and would love to work in a erlang/elixir shops.

Every job I see is JavaScript, python, or Go.
It's much, much cheaper to make the water supply for a city clean at the source than it is to install several million water filters.
Smart people work in strange ways, with lots of quirks
Cudos for you. I try something similar, I do not buy a product if I believe I saw its ads. It is a light version of your strategy (I'm not going to watch ads to know what is advertised and what isn't), but even it doesn't work in all cases. For example, my cat eats advertized food now. Not all of it though, but dry food is advertized.
You watched 25 hours worth of the same ad per week?? /s

In all seriousness, I would guess seeing the ad so much would mean you have more brand awareness of it?
> 1) What’s the main use case for this?

Originally, I intended to produce an LLM that could be used for answering questions related to Australian law, potentially via retrieval augmented generation. The LLM I ended up building, however, is unfortunately too small to be useful for that. It could, however, be useful for autocompletion. Perhaps if it was further finetuned, it might also be capable of tasks such as text summarisation and question answering. Nevertheless, the model is also valuable in that it has taught me how to train causal language models and taught me that, if I were to do the same thing with a bigger model and more of my legal database, I could achieve much greater results than major LLMs which lack a sufficent amount of Australian legal material in their training data.

> 2) Was training your own LLM necessary? How did GPT-4 compare?

GPT-4 is certainly much better given that I only trained the smallest version of GPT2. I do think that there is still value in training a larger LLM on my database as, in my experience, GPT-4 lacks a sufficently advanced understanding of Australian law, although it has the best understanding of all the models I have tried (GPT 3.5 Turbo, Claude 2, Bard, Llama 2, Mistral, etc...).
> $3.99/week subscription is deliberately predatory. It tries to bait people in thinking "oh it's just $3.99", and then forgetting and now paying $17/month for a photo collage app.

How is that predatory? It makes perfect sense to me and I’d probably do it myself if I ever were to sell an app this way. If someone just installs my app once, to make a single video, then immediately cancels, I still want to make some money off that.

That’s probably how 90% of these apps are used.
This is the work of @repligate, I can't recommend them highly enough. A true creative in every sense of the word, a rare spirit with a fundamental grounding and understanding of the spirit of LLMs. I highly, highly recommended pursuing every inch of their writing that interests you.

https://twitter.com/repligate
This provides a mechanism for any client to identify and reject changes from any given remote that are non-compliant with the policy committed to the repo.

So this is something that servers would certainly be able to use but it is also something that operates at the client level. And you could use it in environments where nobody uses the big hosted git platforms (github, gitlab, gitea, etc). So you could still use this in environments where you fetch changes to a project over ssh from a friend or cocontributor's dev machine. Or via basic, barebones read only https or ssh hosting.

i.e. this is access control that works independent of centralized servers.
It’s better than it used to be but I have routinely had luggage miss connections or had checked luggage be an issue when rebooking flights because of weather etc.
If you're only saving 5% you just let it burn up on the way down since you lose the much in landing fuel weight and legs. While Musks numbers are likely over optimistic the saving are large enough that it's worth the weight.
What kind of analyst?
Cancelling anything on an Apple device cannot possibly be complicated. It’s a single screen in settings, and there’s nothing app developers can do to mess with that.
Well yes if you disregard the thing that makes it not a tree then it is a tree. But you can't disregard that!