skysight-inc/HackerNews huggingface dataset:
Below the truth table for implication (with arguments reversed) they claim

> It turns out this truth table is functionally complete [1]

yet the linked Wikipedia article clearly states that

> every two-element set of connectives containing NOT and one of { AND, OR, IMPLY } is a minimal functionally complete subset of { NOT, AND, OR, IMPLY, IFF }. I.e. IMPLY by itself is not functionally complete.

[1] https://en.wikipedia.org/wiki/Functional_completeness
>"Unreal Engine starts charging for non-game development".

Exactly. Surprised that argument was coming from an 2010 account.
You also need an infinite memory to be called "Turing complete". It doesn't make sense to say that a bunch of operations are or are not Turing complete. It's a property of a whole machine, not just a set of operations. And no real machine can possibly be Turing complete, because they don't have infinite memory or time.
Sounds like Azure Durable Functions: https://learn.microsoft.com/en-us/azure/azure-functions/dura...
Please excuse my ignorance, but what would be the use case of fine tuning? I'm quite interested in this application of it for hobby projects, but I'm not sure what value I would be able to gain.
Wrong link, no? Shouldn't it be https://discourse.julialang.org/t/one-does-not-simply-walk-i... ?
No screening started after hijacking in the 1970s.
If the email is busted open, then it would already have been possible to do a a forgot password recovery (which i presume uses emails).

Therefore, backup codes are no less secure than that.
Your comment has me thinking of the time during the pandemic when there were supply chain issues and Amazon was trying to find ways to encourage people to buy less stuff for once. I wonder if we are still having issues on the supply side and these changes like limiting store hours and forcing people into self checkout are actually ways of applying a short term patch.
> Because it doesn't matter. It costs 0.01USD to change the name of the manufacturer and brand tag, or even to no-name at all.

I disagree, it does matter. It might not be a silver bullet that prevents this problem from ever happening again, but it helps the public stay away from devices that are already in the market and provides the necessary information to track and avoid manufacturers.

> It costs 0.01USD to change the name of the manufacturer and brand tag, or even to no-name at all.

It's still the same device. You can identify it by looking at it. It might not prevent further abuses, but it helps counter the ones already in place.

There is zero reasons to not name the manufacturer.
To be entirely precise, it is functionally complete in combination with access to the constant false (-0.0). If not given access to this constant it is not functionally complete, unlike e.g. NAND which can produce false from any value. I shall clarify that in the article.

The point of the article was more to illustrate that using nothing but signed zeros and floating point subtraction you can simulate arbitrary circuits, and 'functionally complete' was the most concise term for that I could think of, even if it is bending the rules a little bit when strictly looking at the truth table.
Thanks for the kind words.

So far fetchbook only works as a cli. I have not yet found a use case for it to also work as a library.
Couldn't it just 'pretend' to reboot?
Yes, medical professionals should be compelled to provide care to patients who need it.

If you had to deal with cluster headaches, I can guarantee 100% that you would seek recourse for yourself rather than some hypothetical next-of-kin.

Patient says she won't be having children anyways. Doesn't that completely address your concern for harm?
It's fittingly called the "Bitmap to Component Converter":

https://forum.kicad.info/t/reproducing-a-pcb-from-scanned-im...
The sign bit is the only bit involved here. What "subtractive bits" are you referring to?
Truth-preserving in this context means that the function value is true if all function arguments are true. If you only have truth-preserving functions available, then you can not output false if all inputs are true, hence you can not build all possible functions. An analog argument applies to falsehood-preserving functions.
KiCAD has been steadily catching up with Altium for a long time, while Altium has functionally stagnated as they pursue various business strategies. For a huge proportion of designs Altium is no longer worth their license cost, and I hope KiCAD will be able to close the gap for 99% of cases and at the very least give Altium a kick up the arse to compete if not replace it.
I'm confused. Are you honestly selling to the CEO?

If someone down the ladder, who exactly?
> No one would accept a 10gb mystery meat blob as the basis of their production system

Well, except for cuda. Which is a massive pile of proprietary software that people are using in production anyway.
Clearly the countermove is to train an image generator on your face and flood the internet with fake data. Have your face appear tagged in weird remote places, with several made up names, on statues, in ancient manuscripts.

Pretend to be dead, pretend to be a medieval monk, a war hero from the 1940s, a fictional character. Poison those ratty algorithm with nonsense and hide within the noise.
The article kind of took for granted that you could include the number 0 as well, and with "-0" he got bottom, so its the 2-element set {-->, _|_}.
Of course it could be massive credential stuffing. The problem is that an inside job would look completely identical. Or negligent security.

If you sell your DNA profile to someone, they are free to give or sell it to someone else. At best that's a breach of contract, but what are you going to do? A successful class action only changes the price retroactively.

(I am told some people sell their DNA data at a negative price, which I suspect may be the same people who pay to have to have a remotely controlled microphone at home. That I don't understand, and accept that I probably never will. But it doesn't change the underlying premise and market dynamic. The above is still true.)
The legal strength supplement that works (not an ad) [video]
> but this community seems to have a problem with pointing out it's mostly businesses doing this behavior.

Wow. I was typing "It is fairly recent behavior, at least it wasn't like this before 2014."

Then I realise that was nearly 10 years ago......
Fun fact: Microsoft is a year older than Emacs.
The website itself. It's quite amusing it mostly came true!

https://web.archive.org/web/20110413220031/http://www.re35.n...
Just spinning with “loading article” … ok ninja, I think we get the joke.
> To cut to the chase, I see two main planks to your thesis, which I will return to as we go through the content, and which are both erroneous:

> Software development is a reducible activity, and can be measured with reductionist tools.

> Software development is primarily about coding, and anything other than typing code into a computer terminal is waste which we should seek to eliminate.

Quite. Good development minimizes coding. That's not very reducible.
Suspendable computations like regex statemachines are actually a good example use case. However I'd still categorize this as extremely marginal. I have seen literally zero Rust crates that handle suspendable computations (ofc outside of the scheduler runtime). Also note that by their nature regex statemachines do not actually necessitate the use of async, it's effectively syntax sugar on top.

My point with GPU/FPGA is that if you're at the point where this level of optimization matters then you're actually dealing with situations where it's worth to invest in the big boy tools. Examples are HPC in fintech (low latency trading) and scientific computations, game development, video codecs etc. You know, "actual" computations.

Webservices are not in this category. Generally speaking with web services your goal is to "hide in the shadow of IO". If you max out your network and/or database and/or filesystem capacity, further CPU optimizations will have literally no effect. I have yet to encounter a web service where this wasn't the case.

What I do see sometimes with webservices is simply unnecessary compute, bad internal structuring, dynamic dispatch, parallelism overcommit, lack of batching, fragmented apis, fragmented data accesses etc etc all of which appear as CPU capacity saturation and also sometimes as kernelspace overhead in profiles. Async does not help solving any of these issues. And once you do solve them, you reached IO boundness and it doesn't matter anymore.

Again this is just my experience, and I'm happy to learn about what kind of web service can utilize coroutines with measurable performance benefits over a managed threadpool.
How does that work in the modern age of ubiquitous cloud, BYOd, international corporations and global hiring pools? In this world, there's basically no difference between internal and external websites, maybe except for authentication and/or needing a VPN to access, which just exacerbates these problems.
IMO I would always rather have syntactic sugar in Haskell, since parse errors are usually not the kind of bugs that one keeps making. If I encounter a parse error, I would probably not write code that leads to the same parse error ever again since there are so few of them I've encountered that I need to keep in mind to avoid.

I remember thinking figuring out the indentation of a where clause was almost impossible in Haskell since I constantly was getting it wrong at first, but now I almost never make a mistake using the where keyword.
> Amazon seems primed to start eating their lunch with Twitch

That seems extremely unlikely, Twitch has already destroyed a lot of the goodwill they had with creators. Policy changes (or attempts) regarding baked-in ads, revenue splits, forced exclusivity, there's probably more.
Semver is a joke and doesn't work. Languages like C and C++ can easily have problems if you link code built with different versions together (even if you aim for them to be compatible, or even if they are indeed the same source version but with subtly different flags), and there are no good solutions for this, except not doing it.

A docker container is not really any different from any other process; the main difference is that it runs in a chroot pretty much.
Ah, thanks, that was indeed what I was missing.
Thanks! Load times obviously vary depending on your connection, hardware and so on. I expect two seconds is true for bobbydigitales. We’ll continue to optimise loading though so it’s great for everyone.
I prefer storing the source code of third-party dependencies directly in the monorepo. Treat third-party code as your code, since it is used in your project in the same way as your code. It may contain bugs and security issues, which is easier to spot and fix if the source code is available in your repository. This also prevents you from disaster when third-party code becomes unavailable for some reason (missing internet connection, temporary outage at the third-party code hosting, permanemt deletion or corruption of the third-party code).

Apply custom patches third-party code in the same way as you apply patches to your code. Prefer posting these patches in the upstream project you depend on - this will improve the quality of the upstream prpject and also will reduce the amounts of custom patches on your side.

The hardest part is to update heavily patched third-party code to new releases with significant changes. Fortunately, this happens rarely in real life. Bugfix and security releases for third-party dependencies are usually easy to apply even to heavily patched code in your repository.

Real-life example: we at VictoriaMetrics store all the code for third-party deps inside "vendor" directory. This is very easy because Go provides easy to use tooling for this - just run `go mod vendor` and that's it! It is also very easy to upgrade third-party deps via editing "go.mod" file with subsequent `go mod tidy && go mod vendor` command. It is easy to inspect changes to third-party code for security issues and bugs after this command with `git diff` before commiting them in our repository.
Here, every veteran developer uses git and rarely needs to ask for help (although it might save time), and every novice developer uses GitHub Desktop.

This works great.

One exception: if someone does a local rebase on a feature branch, GitHub Desktop will recommend “pull” from their remote instead of “push —force-with-lease”.
Is it not unfair to use fastify in node rather than using the http from the stdlib like in go?
It was harder to do things wrong in SVN, but it was also harder to do things right, or at all.
I ended up choosing node so that I could run the same function on the client and server.

I'd be most interested to compare Node, Bun and Dino.
Funny, it’s never the independent researchers drawing these conclusions, rather it’s always something like The Institute Of Investigating Whether 5G Horses Are Harming Your Children.

1. There is no conclusive or even suggestive evidence that radio waves cause adverse health effects in humans.

2. There is no known biological pathway by which radio waves could cause adverse health effects in humans.

Let me know when a legitimate study performed by known scientists in a reputable journal proves either of these statements wrong. Until then, I’m not worried.
> That said, they do make a lot of interesting boards over there, for various purposes. There are a lot of interesting NUC variants, NAS motherboards and Pi-like cards.

This. I recall I bought an Orange Pi Zero 512MB out of AliExpress for about $5. Great deal, but I would definitely not trust it to do anything with private info though.
Why did you use GO for server side ? did you test with other teach ?
Can you share how your server side design of servers looks like ?
Do you use simple ec2 or what ?
> What prosecutors did not disclose is that genetic material from the rape kit was first sent to FamilyTreeDNA, which created a DNA profile and allowed law enforcement to set up a fake account to search for matching customers. When that produced only distant leads, a civilian geneticist working with investigators uploaded the forensic profile to MyHeritage. It was the MyHeritage search that identified the close relative who helped break the case.

Basically they send in the genetic material and create an account on the site, then see which relatives it matches with and go from there.
I absolutely believe this. If you think your service shall perform no due diligence that it is correct, accurate, and safe, then you have no business providing it to the user, who has little or no knowledge of the domain, which you are selling to them. That is your job, to sell a sophisticated service to someone who would enjoy the benefits but cannot begin to do it for themselves.

If you don't think so, then I think you're beyond reprehensible, and so will the courts. There is no disclaimer that can protect you. Good gravy, this is the easy part.
I agree, they should also use bun.serve instead of the same fastify code
Hard-Core Romance: Fifty Shades of Grey, Best-Sellers, and Society
FP64 is what HPC is built on. F32 works on the cards too (same rate or faster). I don't know the status of F16 or F8.

Some architectures provide fast F16->F32 and F32->F16 conversion instructions so you can DIY the memory bandwidth saving - that always seemed reasonable to me, but I don't know if the AMD hardware people are/will go down that path.
Sure it's common and it really depends how picky you are. I have 20 YoE and applied to over 150 places last year, some in Western Europe and some remote jobs in the USA. In the end I only got one offer, which I turned down. But I did gain a greater understanding of the market.
It always startles me when the first (actually the second) example is bad:

int do_indexing(int *buf, const size_t bufsize, size_t index) {
if(index < bufsize)
return buf[index];
return -1;
}

buf[index] can hold the value -1, as buf holds signed ints, so that (corrected, by the author) function is totally wrong anyway.
Hi! I checked your tool (https://naprun.dev) and it follows the same philosophy, I like it. However the reasons why I decided to build my own one are:

1. I love building things, I can't help it.

2. I don't enjoy using markup languages mainly because of lack of autocomplete and difficulty to support more complex use cases. By using typescript fetchbook suddenly inherits all it's powers and can be more easily customized.

3. By piggybacking on top of the Request Web API (https://developer.mozilla.org/en-US/docs/Web/API/Request), I don't have to define custom ways to define requests. Also if you know how do fetch on JS/TS you can grasp fetchbook in less than 5 minutes.

Oh and fetchbook is also ready to be used in CI, I run tests for fetchbook in GitHub actions, which are actually fetchbook stories themselves.
And you already identified the main problem with this strategy: "repetition".

As it's not possible to remember n passwords for n sites, if one of them gets hacked "darn secure" isn't so secure any more. The main point of password managers is that you don't have to remember your password and if it leaks out on one site, it doesn't matter as it's only used on that one site.
I also hoped for some news about the game, maybe an update on the Anniversary Edition announced in 2020 [0].

[0] https://www.youtube.com/watch?v=Cf9A1QPG_yc
I heard somewhere that all of those wonderful unshielded ports posed a barrier to entry in the US market. Fine in the UK. Not fine by the FCC.
I just looked at the link he gave and it wasn't.

Intel publishes its own fast library for this, which isn't even in the benchmark list.
I'm still convinced that the majority of IoT devices are unnecessary nonsense. And I don't think manufacturers care about their great contribution to botnets either.
> wealth differences are hopefully shrinking

Doesn't that just mean multiple superpowers? Do you think co-operation on topics such as global warming will increase, or decrease, with such competition?
Fine-tuning changes how the model works, by updating model weights and changing the way it generates text.

Fine-tuning is how you can turn raw base models into something that you can chat with, and into something that can follow commands. Fine-tuning can be also used to control the style of speech the model uses, and what it will be and won't be willing to discuss. To an extent, it can also teach the model to understand new things.
Remote-controlled microphone is embedded into every smartphone. This doesn't prevent billions of people to buy and use them :)
This information is somewhat interesting, but what action does it allow you to take?

https://en.wikipedia.org/wiki/Information-action_ratio
I've had a good experience auto-filling job applications using this browser extension: https://simplify.jobs/
You need to create an account to use it, but at this point it's saved me so much time that I don't mind.
How does one grok cuelang?

Asking for a friend.
Good concept, but I don't think it will last :

"The Resonate board recently discussed a perfect storm of problems that has made many of us question whether the organization can and/or should continue. These include:

-multiple pending resignations
-lack of director insurance
-no clear funding plan in sight
-numerous technical challenges brought on by…
…a profound lack of developer resources"

As said in this post of their forum :
https://community.resonate.coop/t/addressing-our-current-cri...
The unstated assumption is that you also have FALSE.
The rule is arbitrary and unhelpful and only helps drive a rhetorical point, not actual advice: you really don’t want to do this without a tool as safe and fast as filter-repo. Even recommending filter-branch is just aligning the footgun slightly.

If a point is to be made that confirms OP: removing a file completely isn’t trivial, and thinking one did when one didn’t it is too easy.
> Technically this is not valid under strict C, but it's also incredibly common.

char data[] is valid C in recent versions if it is the last entry of a struct.
Can someone explain a bit more how it works? I don't understand the "We then train linear probes on the last token activations to predict the real latitude and longitudes of each place." I've looked up linear probing on Wikipedia, but it's not obvious how it can be used to predict lat and long.
Are you serious or was that just a clever joke?
Ask HN: What is the most time consuming thing you had to code but didn't wanted
I've come to realize how cool bun is when building fetchbook. I couldn't have used typescript as the main language so easily without it. I am very happy with it so far.
>One reason that Clearview is catching on is that its service is unique. That’s because Facebook and other social media sites prohibit people from scraping users’ images — Clearview is violating the sites’ terms of service.

“A lot of people are doing it,” Mr. Ton-That shrugged. “Facebook knows.”

So I own the copyright to the image I uploaded to facebook I licensed it to Facebook they stole it from Facebook. Did they infringe my copyright?
Hardware limitation.
There are plenty of other SIMD sort libraries, some of which specifically optimized for AVX2, AVX512, NEON or SVE.
> Even recommending filter-branch is just aligning the footgun slightly.

Who recommended it?
Discord-fs: Unlimited file storage using attachments in Discord chat rooms
I have been working on a monorepo C++ codebase with on the order of 1000 person years of development on it.

And no, we didn't have major issues with memory leaks either. About on par with what I have seen in garbage collected languages. RAII works quite good most of the time.
For me it is wiring service skeleton, setting up API server, database connection, writing wrappers for loggers, that kind of things
I don't get this in Ruby's case? What's the benefit with this over RSpec / Minitest?
Maybe try this NTSC version from Ian Bell's website?

http://www.iancgbell.clara.net/elite/nes/
Oh totally, that's a great suggestion. Though with ever-more pages conforming to this pattern, I don't want to have to bookmark them all - that's what a search engine is for.

I think it's still a valid discussion about first-time users vs frequent users etc and how much blurb you should show them each time. But they've probably already done the research on this and decided on it for a very specific set of reasons
Teamwork takes time. I think a lot of people do not understand that.

As soon as we get above two or three tightly knit people internal communication starts to become the bottleneck. It's inherently serialized. It's the human equivalent of Amdahl's law.

Never has it been more clear than when remote work took over in organization that are not built on it from the start. While we all feel more productive without office chit chat it all has to be compensated somehow if we're going to be aligned with common goals.

Perhaps we need to dedicate 25% work time to PR's. It's just half of what pair programming is and plenty of people are productive doing that.
Avoiding context switches is not a problem async solves. A threadpool popping work items from a queue(or something like lmax disruptors) has the same effect on context switches. The only thing one could argue is that the async runtime's threadpool "homogenizes" work. Again, yet to encounter a case with web services where this was the issue.

I'm not familiar with FPGA scheduling, are there any resources that explore the issue? I was under the impression it's akin to GPU compute where the main bottleneck is the bus.
I really enjoyed Elite Dangerous as well. Haven't played it since they dropped consoles. I really miss flying those ships with friends despite all the grinding and shallowness. Manually docking a spacecraft to the sound of Blue Danube is always a relaxing experience.

I wonder why space simulators and games always end up being so problematic. Elite Dangerous just seems to be going nowhere. Star Citizen is apparently a perpetual beta. Even KSP2 turned out to be a disappointment. Sigh.