skysight-inc/HackerNews huggingface dataset:
As with any real way to take a stance. You will get fired/jailed.

Which is why we all continue to support our corporate overlords.
I've tried to follow this blog post, but when it gets to the nitty gritty of the solution, it seems self-contradictory. There are constant claims that this presents a solution to have all three items of CAP - exciting. But then the solution seems to only have consistency.

First, there is no Availability, because the solution requires a centralized Interloper service. There is some handwaving that the Interloper is distributed, but all of the arguments about maintaining the three databases consistent with each other only work if the Interloper can be assumed to have (distributed) consistency. Which is of course obvious - if you've solved distributed consistency, you can use it to make other things consistent. But this doesn't explain how to solve distributed consistency in the slightest.

Secondly, the described system doesn't actually offer partition tolerance:

> If one of the databases becomes unavailable (e.g. if it loses power or its network connection creating a “partition”) no harmful misalignment can be observed by any client, because the interloper disallows reads until everything is reported to be back in sync.

So if one database goes down/is disconnected, the whole system grinds to a halt. So, no partition tolerance.

The paper has a different problem. It seems you are redefining the notion of consistency because you don't like the definition used in the CAP theorem. But you don't actually disagree that no system can display what the CAP theorem calls "consistency" at the same time as availability and partition tolerance, you just don't think it's necessary. This is a defensible position (and one often taken by many distributed databases), but there is no reason to undermine others' work instead of simply saying so.

As more of a side note, the paper you wrote keeps referring to the CAP theorem as a conjecture, but it has in fact been formally proven in 2002 by Gilbert and Lynch. You don't seem to have a refutation of their proof, which you don't even cite.
In fact, Apple devices already ship with something called "Assistive Access", which is a mode that you can enable that limits what can be done with the phone. In particular, it limits the ability to install apps.

https://support.apple.com/guide/assistive-access-iphone/set-...
It doesn't seem like Devin actually did the work requested, which was to provide instructions for using AWS?
We C++ developers like that C++ is easy to fuck up, because we think we know better, and we think that means job security.
Be careful with oils of any kind. If you are generous with oil, you will gain weight.

Some oils are very healthy, for example true virgin olive oil (if you reliably get hold on it), so don't omit. Just use very little. Literally only drops of oil. Then you'll be good with salad.

One recipe: Cucumber and tomato salad: Peel and slice cucumber, generously salt it and let it stay for five minutes. Meanwhile cut tomatoes and arrange them on the plate. Salt them a little bit as well. Optionally have a slice of healthy bread and if needed some protein food like a small slice of grilled poultry, one egg, fish, grilled tofu, a bowl of yogurt and whatever. Pour away the water that the salt pulled out of the cucumber, then dress the tomatoes and the cucumber. Sprinkle some spices like pepper, basil, cilantro, oregano, thyme, and so on to your taste over your salad. If you like garlic, add it as well but only in minuscule amounts! Then: Pour five to ten drops of true virgin olive oil onto the cucumber and tomato slices and a few good dashes of balsamic or a little bit of apple cider vinegar.

Enjoy!

Note: If you are very hungry, eat a lot of salad and add enough protein.
It's lowercase, so it's probably not China the country but china as in porcelain.
Nvme over TCP encapsulates the entire nvme protocol in TCP, which is way more complex than just sending the raw data. It's the opposite of "a dumb pipe encapsulated in tcp", this is what the netccat approach would be. Heck if you insist on representing the drive as a block device on the remote side you could just as well use NBD, which is just about as many moving parts as nvme over tcp but still a simpler protocol.
Tucows | Intermediate Python/Go Engineer | REMOTE (GLOBAL) | Full-Time

Tucows Domains, the world's second-largest domain registrar, is seeking an intermediate back-end engineer for exciting greenfield projects. Deepen your knowledge and help us provide reliable, high-quality, and secure services critical for a healthy internet.

$117k-$130k base salary for US residents

To apply, see the full job description:
https://www.tucows.com/careers/jobs?gh_jid=5818349003
> Except Airpods. They're pretty sweet.

Sweet devices that keep falling off your ears. You need AirPod ear hooks to keep them on.
First Cancer TIL Gene Therapy Gets FDA Approval for Advanced Melanoma
> The new study reveals a problem that may grow as electric cars become more and more common over the next several decades.

EVs produce way less brake dust because manufacturers and drivers are obsessed with regenerative braking.
Thanks for your suggestions. The feature demos were a labor of love, and it's wonderful to know they're appreciated.
> Okay, you have to use Signal instead of WhatsApp, so what?

When everyone you actually need to communicate to is on WhatsApp, Signal is pretty much useless.
AWS VPN is pretty cost effective, we used if for a few years with a multi account setup. And it's pretty much zero work.
We get such threads about all companies, including Apple.
I enjoy programming in Swift but it hasn't felt like a little language for quite some time now. It's a complex language with a lot of features and a powerful but elaborate type system.
Repeating myself, you do not know what aristocracy means.

In late Middle Ages England, I could be a copyhold tenant to the mesne lord, with the copyhold passed on by inheritance to my heir, following the traditional inheritance scheme of the manor.

I do not own the land - the mesne lord does. Yet I have the right to live there, and the right to pass on that right through inheritance.

According to you, that makes me - a copyholder - part of the aristocracy?!

No. That's an absurd re-definition.

You may want the equivalent of new enclosure laws so that complicated traditional land use practices which give a peasant the inheritable right to graze a few sheep in the local commons is replaced by the simple exclusive control of a local lord. That's how lords and capital holders traditionally gain more power and control.

That still doesn't mean it's meaningful to say those peasants were part of the aristocracy.

You grew up in a culture which prioritizes a certain view of land ownership that dates back the feudal system, then over time the local lords gained strong control over the land and government, followed by the imperial era where land possession and exclusive control brought in untold riches. You and I come from an ex-colony of that imperial system, which respected private land and exclusive ownership only when it involved certain people - for others it could be taken by force. "A man's home is his castle" was only valid for rich white men, and those with implied fealty to rich white men (aka "real Americans").

Sweden never had a feudal system, nor (despite being a kingdom) a strong form of aristocracy. Socialism has a much stronger history here than in the US. Its traditions are therefore different. Don't try to interpret it all through what appears to be an understanding of 19th century English aristocracy.

And even if I'm completely wrong, who care? Inheritable land ownership and nepotistic transfer of corporate ownership lead to extreme centralizations of power which cannot be matched by a Swedish rental agreement. The Wallenberg family controls a substantial fraction of the Swedish economy. A first-hand rental contract had limited use of about 80 square meters.
I always felt the disappointment of wireguard was wrapping it up into an opinionated network interface. It really should have been a generic "filter" that you could attach to any type of file handle. Then the configuration would be far less strongly coupled, less weirdly communicated to the kernel, and the status of your connection more immediately obvious.

Plus, you could have wireguard files on your local or remote filesystems, or any character device, or named pipes if you felt like it. You could use a "jit" daemon to build tap or other interfaces for you, or just do it individually at the application layer. You could have pre registered keys with the kernel, or you could manage that directly, or generate them randomly.

It's always been a weird smelling underspecified IPSEC clone to me, when it could have been so much more.
Ask HN: Where can I find practical comparative data regarding different LLMs?
I've been trying to keep up with the advances in the world of AI and LLMs. NLP was a world that I knew pretty well 7 years ago, when I knew most of the major NLP libraries, and their various strengths and weaknesses. However, nowadays, I'm having trouble finding good discussions about the real uses of the LLMs.

I have gone to Hugging Face, and the amount of data there is overwhelming, but it seems poorly organized:

https://huggingface.co

Does anyone know a secret that makes that site tractable? I've experimented with a few of the libraries posted there, but I can only sample a tiny fraction of what is there, and what I'm missing is some method for finding the useful stuff while disposing of the junk.

7 years ago I could tell you the strengths of weaknesses of the Google's Tensorflow or the Stanford NLP library. But where do I go to get good comparative information now, about the strengths and weaknesses of the various libraries that interact with the new LLM tools?

I'm looking to answer practical questions, that I can use in my own work with AI startups.

For an example of a question, for which I cannot find an answer, I am aware of a startup that has developed a chat client that, the startup says, can entirely replace a company's customer support team. Among the claims made by the startup is that when their chat client makes a mistake, it can be easily adjusted so it won't make that mistake any more. I am curious, what approaches are the engineers at that startup probably using to fix mistakes? If I search Hugging Face for ways to fix factual errors in LLMs then I see some libraries, but I've no idea what is considered good or bad.

So I asked the Hacker News community, how are you keeping up with advances around LLMs and associated tools?

Also, every LLM seems to have an embedded finite state machine that remembers the state of the current conversation, so where can I go to learn about the strengths and weaknesses of those finite state machines? How would I go about adjusting them?

Or, let me offer another example of the kind of information I want:

I've been testing different AI chats by trying to play text adventures with them. For instance:

https://huggingface.co/spaces/HuggingFaceH4/zephyr-7b-gemma-chat

https://chat.openai.com

If I use the same prompt with each of them, I can see how different they are, but how do I know if my observations are general (would other people get similar results) and how do I learn about other AI chats (since I cannot test them all).
Consumption of highly acidic substances is extremely harmful to the enamel of your teeth.
Ask HN: What do you think about Devin?
Anyone can build it with gpt4, then just swap to gpt4.5, it may cost 5k/month for 1 autonomous software engineer, but it will cost zero in a year, I will build Devin in a month if I this thread gets 10 likes
Suppose that we used embeddings as the input of the model rather than piece identifiers plus an embedding lookup table. This is possible with every transformer model and some libraries provide an API to do this. Moreover, we convert the parameters and ops to use arbitrary precision types. Then the network cannot be represented as a lookup table. Given that there is an infinite number of inputs, there is also an infinite number of outputs. But the arbitrary-precision network does not operate fundamentally different from the original network. It has the same parameters, ops, etc., yet you cannot store it as a (finite) lookup table.
Don't. Paracelsus said (paraphrased): All is poison. It's the amount that makes something a poison.

So listen to your body and stop before you damage yourself.
Code has bugs. News at 11.

eBPF has had multiple CVEs. E.g.: https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-3489 or maybe https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-0500 (there are about 20 CVE entries for eBPF).
You said "even in theory" which is obviously wrong, since the (local) universe is finite and deterministic, hence it is itself a giant lookup table.
Tackling this myself atm, as a self-taught CS enthusiast reasoning about multiprocessing in python.
There's probably more tyre pollution from EVs to be fair.
Highly appreciated. Wisdom is king
Jim Martini
Soooooooooo

How about military spending now? venture capital in weapon systems companies....
Busses are viable as long as you make them viable. If you have a busstation at a 1 km distance you can make it viable in most places even with the mega sprawl of the US. The economical incentives of a car economy is perverse it is the tradgedy of the commons distilled.
Internally Google has a super pro-isreal constituency (i.e. jewglers), and seems to viciously retaliate against alternate viewpoints.

https://www.globes.co.il/news/article.aspx?did=1001460684#ut...
What Boeing's Door-Plug Debacle Says About the Future of Aviation Safety
Well, yeah, but isn't the EU also responsible for all the trash cookie-consent notifications I get from every website now?

Overall, I'm happy they're actively involved. The hands-off attitude in the US is terrible.
DBrembo or AP Racing are somewhat well known brake manufacturers, but only matter for sport cars/motorbikes.

OTOH I don't think most people care about tires either.
I'm delighted that Trangram brought back those memories for you. Hope you are enjoying creating and sharing your designs. Happy animating!
Funnily enough, the old reddit formality works in reverse and makes some sense. For every post of self promotion, you should make 10 or so posts/comments on non-self promoted content. Consume significantly more than you create (and share), but you still probably end up creating more than average.

I think like most short, quippy adages, the spirit makes sense but not the literal interpretation. It's more trying to say that creation is something to strive for rather than the literal "1:1 consumption/creation", treating it like calories. I'm sure we can make models to make the quote make sense, but we probably shouldn't overanalyze what is mostly motivational ideas.
TiddlyWiki is truly a hidden gem nowadays. For anyone curious about how far you can take it I recommend reading "Grok TiddlyWiki" and checking out the author's public TiddlyWiki.

https://groktiddlywiki.com

https://zettelkasten.sorenbjornstad.com/#PublicHomepage:Publ...
12 Monkeys

> Admittedly, no real effort is put into explaining how the time machine actually works, other than Gilliam’s signature steampunk wires and bellows.

> Science Score: 9

Primer

> As for the science, the basic idea is that Aaron and Abe are trying to build a device to counter the effects of gravity by creating a room-temperature superconductor (a hot topic in physics this year, albeit a controversial one) that exploits the Meissner effect to remove the magnetic field inside a plain gray box large enough to fit one person.

> The limitation that you can’t travel to times earlier than you turned the machine on is actually very realistic—closed timelike curves in relativity would have exactly that feature.

> Science Score: 3

I don't understand this reviewer
AdaPT: Adaptive Point Cloud Transformer
TikTok today and then Twitter tomorrow on the chopping block. All Hail Big Brother.
Show HN: Design kit for Indie Hackers to build landing pages in minutes
It might sound a bit crazy. But, it is what it is. I'm soft launching (indiespark.webflow.io) It's a design kit for Indie Hackers and developers to build well designed landing pages.
It also include Product Hunt assets, Figma landing page designs and design systems.

Why I'm building this? I've been actively building in public on X (aka Twitter) I've had conversations with Indie Hackers and most of say that creating a good landing page is very time consuming.

Acknowledging this problem, I've build IndieSpark for them to build landing pages effectively and quickly. I have built a waitlist + landing page for IndieSpark and shared it on X as a result there are 26/50 people waiting for it to be launched.

I would love to see your thoughts on IndieSpark and how do you think it can be a true pain killer :)
At first it would be a big win for companies. But as jobs gets absorbed, the productivity boost will become pointless. The pool of potential buyers will shrink because of unemployment and we will end up with the opposite of what you are describing.

I'm not saying that's what will happen, nor your version. Things are never that simple.

But shouldn't we be more precautious? And take time to understand the shift and prepare as a society for this big change? Why rushing on something that would potentially negatively affect millions people life in the hope of productivity boost?

The outcome is not all good, not all bad. We need carefulthinking and planning.
But why don't use the nice smelling IPSEC if that ticks your boxes?
Excellent job! I recently fired up the latest version of Adobe flash and found myself entirely unable to remember how to even do a simple keyframe animation, your editor manages to let me do that intuitively!

I'm definitely going to have a closer look at this in the future!
To be blunt, Apple, Google, and other tech megacorps should be glad that we as a society allow them to exist in the first place, even despite growing to the size where they are clearly hindering free market (by actively blocking competition). Never forget that corporations are artificial entities chartered by governments; and nobody has a natural right to a corporate charter, so those can and should come with hefty strings attached.
I guess it depends on how much one values stealth. I'm just an armchair-most-things, but it seems to me that there are many situations stealth doesn't matter as much as effective robot range, turn-around time and ease of logistics.
> Each entry has about 42 bits of randomness. Queries are not recorded.
Randomness is probably as good as the random resource in the operating system.

Hmmm. Such a statement should be backed by proof, not by trust. Until you can run the code locally you can't assume that any of these things is true. As far as we know, this can be a reverse password harvesting scheme.
>When do the companies bear the responsibility for the software they put out in the world.

When they don't pay lobby to the government. /s

With the exception of medical software, i do know of any case where the companies bear the responsibility .
You can forward ssh through ssm, and dump that into your ssh config file. Works pretty nicely with some of the sso automation for the cli that's around these days.
Even if you increase the precision I can still generate a table T(P) for each fixed precision P. So the table is parametrized by P but it's still a table. The entire table T = colim T(P) is the colimit over all precision values but for every finite precision it is still a table.
I think the OP is right. All the input to a human brain can be expressed as numbers, at any given time a specific radiation, vibration, or chemical reaction is hitting our "sensors" and by the law of physics this is just numbers ( in terms of differentiation, brain does not know absolute values ).

Our output ( mechanical and vibrations ) is also fully quantifiable, thus numbers.

One giant lookup table.
SEEKING WORK | Romania (GMT+2) | Remote

Senior Ruby / Rails developer with 10 years of experience working on both large and small teams, co-founded 2 startups, currently bootstrapping a SaaS in the healthcare space.

Available starting April, contact at heavy.tea5182@fastmail.com
If I need a table or Google to figure out how to type something, that's not "very easily"

If you need to train your employees on that, it's not "very easily".

"Very easily" is when I can take any family member who's seen a computer in their life, give them a keyboard and they can figure it out on their own without Google in 2 seconds (like csv).
This reminds me of the classic problem in computation, where the simplest form of computation, the lookup table, input -> output, is limited to a finite domain. Turing modified the computation to have a finite internal state and infinite external environment (tape), so it becomes a transition function (state, stimulus) -> (new state, response), applied recursively in a feedback loop, allowing it to operate on infinite domains.

Famously a simple lookup table for the transition function then suffices to compute any computable function.
It's possible(?) that mozilla automatically generates a similar key for addon devs, but I definitely was not required to upload one when I first published this.

Honestly, I'm not sure what difference this makes. If someone really wants to hide their sale of an extension, they can absolutely include the usage of their dev account to the buyer, rather than making use of mozilla's system for transferring ownership.

If you're curious, here's the relevant section of code. I'm totally open to reworking it if you have alternative suggestions:

https://github.com/maxtheaxe/under-new-management-firefox/bl...

I'm hitting the AMO API directly, so you can see an example response of all the data I'm working with here:

https://addons.mozilla.org/api/v5/addons/addon/under-new-man...
When I first got an iPhone a few years back, this is the thing that shocked me most. This is completely out of line with what I expect from Apple. I don’t have "scams" per se, but the first result when searching for a keyword is systematically an ad for a competitor:

- Spotify -> Deezer

- Uber -> Heetch

- UberEats -> Deliveroo

- Deliveroo -> Ubereats

- My bank -> crypto.com

I have no idea why Apple allows buying trademarks/full app names as an ad keyword. Perfect matches should always have the app first, not an ad.

Is there something in the AppStore rules that prevent apps from buying the keyword ad for their own app?
I just realized who I was replying to :)

While we're on this topic, wonder whether you have comments about this --

Given that a sentence has a lot of redundant data (grammatical constructs, etc.), saying a model has 99% accuracy might not mean much if it diverges on the "critical" tokens -- for example the keyword in a paragraph, or, the relatively surprising twist in an article.

That's kind of how I interpret "to me it seems that a low perplexity just means that the model is able to produce coherent, readable sentences" (from the LocalLlama post). A model that can write English can have a low perplexity since it's averaged out, but if it can't recall the "correct" token at the critical point, it will still underperform with the low perplexity.

Intuitively this might depend on whether "intelligence" depends on the precision in the bits. It's super hard to measure, which is why even subjective anecdotes or bare assertions like the ones in the post are still interesting.
> Maybe we're an idealistic bunch

I mean, it makes me quite happy that y'all apparently use your skills for wholesome, humanitarian things instead of just focusing on making $$$.