skysight-inc/HackerNews huggingface dataset:
A lot of good arguments which I think are often under looked. "We need to go into the cloud" often feels more like a peer pressure thing. It might be difficult to get a Hetzner server through the ordering processes of your company, compared to self-service rent something from AWS or the like (feels like this may be equal reason why they're so successful?).

But the article completely mises out on the aspect of availability, which would be quite risky with a single server.

Why not do mix & match smartly? A CDN is already "the cloud". Having your static content hosted (and pre-generated fully) in the cloud and only go on dynamic generated / rendered responses if you really have to. Then you have good latency, high availability and still low costs.
Why a pin? Make it a headband or a circlet. Go all in on the scifi-fantasy aspects.

A circlet can be secure in place, has more space for power and computation, and most importantly, fashionably acceptable if done and promoted properly. Not to mention all other benefits such as turning around at the same rate as the user moving their head or easy access to the user's senses (eyes, ears) to provide feedback.

I want my circlet of inteligence +2 now.
How naive!

> every C99/POSIX system supports the entry points they are guarding

The most popular compiler, msvc, still cannot support C99/POSIX.
And some of my Makefile only projects still probes for features stored in a config.h

Good luck with destroying our infrastructure.
They probably didn’t get the level of funding if they haven’t already solved this.
I approve of the concept, but I don't think this isn't the answer.

For a start, it says if you want to install into non-standard directories, or enable/disable options, you need to "edit your makefile". That isn't going to work for distributions, and I don't want to go to telling people to edit the makefile to change options on my program.

Also, in my experience most autotools scripts do something, maybe dealing with inconsistent linker flags on mac vs linux, or enabling/disabling some debug option, or saying where to find some library (and optionally allowing building without said library).

Coming up with some very simple format for configure scripts which are easy to read, and which do some simple search+replace substitution on a Makefile seems very sensible, and would get rid of awful autotools, is a great goal however.
Heh, so much of the world runs on basic business software. If it ran fine after the rewrite, with much less cognitive load, why not? These were just bog standard web pages that someone overengineered the hell out of, to a point that nobody else could understand or maintain it. Sure, that might win them l33t points, but wasn't very useful otherwise.
> After like ten or fifteen hours of trying to understand what currying is, I still have no idea

Maybe you could recall which learning materials you used?
Eh, good call I guess. I didn't see that aspect.

The 4th option they may appear to propose suggests that murder investigators don't get paid -- neither in money, nor in benefits.

So, to that end: As far as I know, that's not usually the case with government employees, and it is always actionable when it does happen to be the case.
In EU Google still extracts answers from webpages so some of the time you do not need to go and visit the page. This feels parasitic to me . Other weird thing is that Google will put on top YouTube videos that might have the answer , but for this one I am not sure if most people this days would prefer a video then text with the response but makes me wonder if YouTube would not be part of Google if it would also be on top.
2-3hours? Just try wg-easy, it should not take more than 10minutes.
This doesn’t seem too surprising to me.

Any moderately competent developer could gain maintainership of a huge percentage of open source projects if they’re being paid to focus solely on that goal… after all, they’re competing mostly against devs working on it part side or as a hobby.

If this is state sponsored, they likely have similar programs in a large number of other projects.
This sounds like a Lemonade ad.
Well, there's Canada, Ireland, and the English-speaking islands of the Caribbean, also.

The equatorial African nations aren't that much farther away than Great Britain.

Of course that does still leave out Southern Africa, India and Australia.
It should be called Schönfinkel. But I guess, curry is easier to pronounce.
Almost as if an astronaut can come, do their thing in a whirlwind and leave for another company 2 years later, while the remaining plebs have to figure it all out.
llama has a restrictive license, but pytorch doesn't.
It still sort of is but you can create Dev Drive which is based on ReFS
This is the HN post (mentioned in the article) that resulted in their pivot from marketing into billing:

https://news.ycombinator.com/item?id=31424450
RCE as root is already the worst case though. The auth bypass is basically just a convenience feature of the backdoor. So yeah it's mildly interesting but not really a new development of the story.
If you want to view paradise /

Simply look around and tune it. /

Anything you want to - tune it. /

Want to change the channel? nothing to it.

There is no SDR /

To compare with foreign number stations /

Casting there, you'll be free /

If you tune to ninety eight point three
To each their own. Frankly, I also don't have an issue with games. But a web browser is a different thing - there's always so much interesting stuff on the web...
Assuming FSM is referring to defects, witnessing no defects increases confidence that no defects exist in the observed state.

Conversely, witnessing defects does not itself prove defects exist if the test cases were not scientific, it increases the confidence that defects exist but there exists some probability that an unrelated defect (bad ram, kernel error, hardware failure, solar flares) could have caused the issue.

But there’s also a lot of evidence to suggest Brtfs has had a lot of defects resolved in recent years, so it’s also important to note that as time moves forward, the amount of existing and likely rate of introducing new defects is likely to decrease.

I should add ive had minimal skin in this game until yesterday. I chose brtfs for two systems for snapshot support, but that’s in addition to regular backups on another host, because it’s silly to trust any single compute node regardless of file system.
The Ramda docs, primarily, and Google searches. It just seemed like a lot of unnecessary complexity. We modified the parts we understood (or believed we did), and just rewrote the rest from scratch. The tests still passed, nobody else complained, the managers and customers never noticed, the devs were much happier, QA never said a word, and a whole class of bugs disappeared once we were able to reliably predict the output of simple helper functions. Shrug. Seemed like a win win. Probably the best thing we ever did to that codebase.
If democracy is what you get when your military needs lots of infantry (and manned logistics tail), I suppose this development will just leading up robots getting the vote?

(compare https://www.orwellfoundation.com/the-orwell-foundation/orwel... )
I don't think it's a bad model. It's just strange to use it as the ambassador for LLM performance as it's nowhere near SOTA.
Even then! Best Buy charges $150 to take a look, plus the cost of software or replacement parts. That’s more than half of the cost of the average (as in, median most popular) computer! You can get a used optiplex for that, no problem.
> supply chain disruption, labor increases

All of these things have either reduced or stabilized over the last two years, but prices seem to keep going up. Strange!
Weird that they have the panels mis ordered though
Right. This is Searle's "a simulated plane won't get you to Japan" argument.

That's true. But a simulated calculator is perfectly effective for doing your taxes.
Really just comes down to manufacturing is heavily automated, while repair is heavily labor-intensive. It often is cheaper to buy a new thing than to hire a skilled technician to drive out and repair it.
For a case like OP's, the worst-case solution is to let the phone agent bypass the system.

Ie. They write a note saying 'let OP onto the plane, their seat is 1A', then mail it to OP.

As far as the system is concerned, OP's ticket may not exist, payment may not exist, flight may not exist, etc. but the note from customer service is enough to get them to their destination.
Way to miss the point, and please f off with your statements about me wanting to force people to do anything. What a shitty way to adress someone you disagree with. We do better here on HN, as a long term member I'm disappointed in your behavior.

If better options were available, people would choose those. When we don't make better options because people are stuck in a local optima of car culture, there is no change. My point was what I wrote: you can't make a comparison with less cars as if everything else in society would have remained equal. Of course there would be secondary effects to handle the fact that people would have to live and travel differently.
For a long time this was true but recently MS turned around and is now supposedly supporting even C17.

https://devblogs.microsoft.com/cppblog/c11-and-c17-standard-...
Actual link: https://old.reddit.com/r/CryptoCurrency/comments/1bxqnpq/new...
I don’t understand how states like California don’t understand basic economics.
It's called AIMS (Advanced Impact Media Solutions) and is used by several state-level actors these days, both pro- and contra-NATO.

Well, at least that one is the most sophisticated one on the market (as of now) and Team Jorge is probably making shitloads of money with it while not giving a damn about who uses their software in the end.
I was under the impression that brtfs didn’t support raid, but could be deployed on top of software raid?
I’d like to touch the topic of trust issues.

When random person from the internet opens PR on my project it is not trust issues to look at it from every angle or not considering it because you don’t have time for that.

It is perfectly reasonable not to trust random strangers on the internet.
The trick to Docker (well OCI) images is never under any circumstance use `docker build` or anything based on it. Dockerfile is your enemy.

Use tools like Bazel + rules_oci or Gradle + jib and never spend time thinking about image builds taking time at all.
In Haskell it is easy. If you "forget" the last argument to a function, you get returned a function where you can provide that later on. A bit like saying "you can fill this in later". That is a "curried" function.

Example

add 1 2 // add is curried, you can use it like this, the "normal" way, returns 3

p = add 1 // since add is curried I can also provide just the first argument
p 2 // and then apply the last argument to the intermediate results, returns 3

What is the point of using curried functions in JS? I am not really sure. It is not very ergonomic and I wouldn't like to use them in general. Maybe for some specific things it could be useful.

In Haskell curried form is the default and the syntax and semantics really suits it. In JS non-curried is the default and it just looks odd, and you need libraries to support it. That library you mentioned doesn't look nice to use.
Oooor perhaps it could be the opposite, that things move closer to where people are. Instead of living in dead suburbia, there actually would be stores, cafes etc in those areas, instead of people having to take a car for every little thing they want to do in their life.
Ceramic tile and concrete tile roofs will survive that, and are also common in the UK. (Although tend to be only ~150 years old by now)
I use locations from Lord of the Rings and the Silmarillion. My PC is a black tower, so I called it Isengard. My fair MacBook Air is Valinor. The Raspberry Pi is Bree.
Well he gets a 150ms reaction time advantage to the incoming punches so he might be ok.
Me: the world would change to accommodate

You: it's not the world we live in right now

Which is a useless retort.
FAA Publishes Mental Health Recommendations
It's an equitable system. Ideally there would be a clear indication as soon as each fine happens, perhaps a sign with your plate number.

This way individuals can correct their dangerous behaviour immediately, rather than accidentally accumulating a large fine.
Having also written lots of code with nothing but Tests as the Functional Spec I'm not sufficiently familiar with Formal Methods, though I should make myself learn. TIL that there are different tools for Design/Implementation/Verification instead of just code and decorators and IDK annotations as decorators and autocorrect.

(TODO: link to post about university-level FM programs)

Always wondered whether there's some advantage to translating to another language's AST for static and/or dynamic analysis or not. AFAIU Fuzzing is still necessary even given Formal Implementation?

Python is Turing complete, but does [TLA,] need to be? Is there an in-Python syntax that can be expanded in place by tooling for pretty diffs; How much overlap between existing runtime check DbC decorators and these modeling primitives and feature extraction transforms should there be? (In order to: minimize cognitive overload for human review; sufficiently describe the domains, ranges, complexity costs, inconstant timings, and the necessary and also the possible outcomes given concurrency,)

"FaCT: A DSL for Timing-Sensitive Computation" and side channels
https://news.ycombinator.com/item?id=38527663
I'm scared of running stuff on servers.

Jk. But kinda. I have a little hobby website. Mostly for fun, I keep rewriting it in different languages, stacks, and deployment methods. At one point it was on a $5 AWS server. It continuously ran out of memory and crashed. Then it crashed for some other reason, I think because it ran out of disc space from log files. Then the postgres database got encrypted for ransom because I stupidly left it open without a password.

So now I use things like Fly.io and Firebase. And they work great for hobby stuff. I'd like for my projects to grow, and this article makes a good case why I should be competent enough to run them on a server myself.

At work I help run a much larger website that we run with K8s and a managed db. The idea of directly running that on servers seems equally daunting.

But I know it shouldn't be that way. Thanks for the reminder.
I tried to have the diagrams be independent of the DBMS that's why types that are not supported in one DBMS get mapped to their closest match in another. For example SET gets mapped to an array of ENUM values in Postgres. So money, point, etc. can be easily added and mapped.

As for the feedback, thank you so much, I really appreciate it.

You can leave it anywhere you find convenient but I think GH would be ideal. It would easier to reference and maybe the community can get involved too :)
I don't see here where anyone has made any supposition that bathtubs are more dangerous than trampolines are, except for your own missive.
where can one who is bad at math, learn more about using the frequency domain to do such "neat tricks" as it relates to programming and electronics?
why do they color the steam orange in the first place?
I'm used to situations when systems do all sorts of things to my last name, given that it contains a non-Latin letter.

So far I've encountered such scenarios:

- The system accepts my original last name just fine.

- It says that a last name can only contain Latin letters and thus refuses to accept it.

- It replaces the non-Latin letter with some gibberish.

- It drops the non-Latin letter altogether.

Especially the last two scenarios have lead to some confusing/frustrating situations in the past. For example, not being able to check-in to a flight with the same last name that I entered during the booking process (only using the "transformed" last name worked).
Did you understand the XZ backdoor before the rest of us ?

We will figure it out. With all of our stubborn ways, we can document it. Clap
Overcome the challenges of rainy season in your business
Isn't this the same as lowering the temperature of the LLM?
I always thought currying was a bad idea.

It makes the code way less readable:

* more difficult to distinguish arguments and return values (there's a reason most languages have distinct syntax for them)

* it encourages you to put your arguments in an order that might not be the most logical

And on top of that it only works for the last argument(s).

Feels like a lot of disadvantages to allow an overly clever trick that you can do in other languages much more readable using lambda functions. And those work for any arguments, not just the last one(s).
Well, that's the wrong impression.

Here's some Arch documentation about it, basically you just create a btrfs on top of multiple devices and it works (to some extent with raid5/raid6 as well): https://wiki.archlinux.org/title/Btrfs#Multi-device_file_sys... . Raid1 apparently works fine.

So if you want raid5/6, deploying on top of md is the better option.
Meh.

The classic Australian peel assures a continuous pipelined fighting response.
Interesting gap in the market.

You need someone who is price conscious enough to forgo the cloud. Either because they are spending millions and want to be spending 100,000 or they are some small solo dev who is being tight. Taking the former example, if they are spending millions, they probably would be looking at Kubernetes for this. Even if more complicated, it is more industry standard. For example getting SOC2 compliance there are guides and so on, and there are training courses, and you can pull in a consultant. I am interesting on who the target is for this.
Just get a high powered laser and burn them, if its good enough for the US military its good enough for me.
Mainly because its an asset bubble, which can inflate and deflate depending on investment demand.

Remember in the 1980's when the Imperial Palace in Tokyo was worth more than all the real estate in California? 40 years on and you can buy a home in Japan for literally zero cost.
During undergrad physics / math I came to the conclusion that knowing the value of a function f(x) at infinity many points x is equivalent to knowing the frequency content of f at infinity many frequencies. Both representations are equally “real” in a philosophical sense. Some problems are easier to solve in one representation than the other.
Who knows why American houses are expensive? They are completely trash. Built with paper and matchsticks.
The stuff about flights is not clear to me. Is this about flights results in Google Search, or is it also about searching on Google Flights i.e. https://www.google.com/travel/flights - I use Google Flights in Europe a lot and I haven't noticed any decline.
When you pass some arguments to a constructor and then later, you pass some more arguments to a method, that’s equivalent to currying.

Method calls are easier to read and work better with autocomplete.
> I don't ever have to run security updates or patch an OS.

You would have to update the base image to benefit from those updates though.
Docker brings in the majority of the OS. Please patch your app / containers.
I like the power that we see with cheap commodity hardware, but we mustn't forget that it's crap. He talks about Litestream as a continuous backup but doesn't get into how long it takes to bring up a hot spare and whether he's automated that. I'm glad to see Litestream has synchronous replication on their roadmap, but in the meantime writes can be irretrievably lost and I don't know whether transaction boundaries are preserved.
This was in the plans when i was just starting out until i realized how much longer it was gonna take just to finish the web app. Can't say anytime soon but i'd love to make this happen
Trump Media auditor has faced repeated criticism from regulators
korolev, hammond, daedalus, apollo over here.

I went with Egyptian deities for a long time. Lots of simple names - ra, set, nut, isis.
When you say technical questions do you mean writing code, explaining code, or something else? If it's writing code I agree, I don't often ask it to explain code unless I want to know about some obscure syntax, but it works pretty well for that. I would not trust it to explain complex logic in a function.
Insane Engineering of the Gameboy
sometimes i think that our existence in the phyiscal world subject to limitations of spacetime is the time domain and after death, we get out of the time domain into frequency domain aka the soul, the reason perhaps we cannot prove of the existence of ghosts or soul is because we are using instruments and techniques of the time domain to measure entities in the frequency domain, just a shower thought
Function arguments work like the power rule for exponents in elementary school math:

f a b = g(a,b) = f' b a
(x^2)^3 = x^(2*3) = (x^3)^2
Was the codebase in strict Typescript? I find currying to be sometimes useful in the right language / paradigm, as long as you can rely on the compiler to yell at you until you get it right.

Dynamically typed functional retrofit on with no type checking though? Hell no, that's a write-once read-never mess of unmaintainable shite.

(I also have been on a team with The Guy Who Wanted To Ramda, and I'm someone who writes build scripts in ocaml)
It was probably some of the first code I ever wrote, before I ever really learned how to code properly. I was deployed with the military, and there was a task that needed to be done for some of our configurations that was incredibly manually intensive. Basically: get a task document from command and translate it to a format that could be understood by our particular weapon system.

We would receive updates once a week, and it would take 2-3 12 hour shifts in a row to do this. Lots of “copy this, cross reference that”. I spent a few weeks reading Mr. Excel forums and tried automating it, which brought the total time down to just 10 minutes.

Of course, after I left, they went back to the old way because the new crew “didn’t trust the computer”.
Given enough time and local testing they could have gotten away with it.

I'm positive their deadline changed due to @teknoraver's patch in libsystemd.
I agree that autotools is often overkill, but I don't think the answer for most project is to force users to have to manually edit Makefiles.

Feature detection is a good thing, but tools like CMake or Meson do a better job at this, in my opinion.

I have done minimal GNU Make builds for large software projects before. In these cases, the main Makefile will depend on a file that is created after a one-time dependency check is done just to ensure that the build environment is sane. This file will exist until `make mrproper` is run, like any other build config file. I'm not personally a fan of monorepos, so instead, project dependencies that aren't already installed on the build machine/vm/container or that aren't a supported version will be automatically downloaded, configured, and installed in the build directory as part of the build process. Even with this sort of complexity, I adamantly believe that the average developer / user should just be able to type `make` and get either a useful error message or a working build. Likewise, I believe that the build scripts should be human readable, well, assuming that one has read through the GNU Make manual at least.

These days, I have more or less standardized on one-shot CMake scripts for my personal projects. They will only check that the current build configuration has any dependencies already installed (e.g. via `PKG_CONFIG_PATH`), which allows for more intelligent scripting by downstream maintainers. The scripts themselves don't have any significant surprises and largely avoid patterns that can't be searched for using a search engine. This makes it easier for me to maintain cross-platform builds, at least across *nix. I haven't really tested Win10 / Win11 builds recently, but should.
I will finally be able to speak my mind to you people with no consequence