skysight-inc/HackerNews huggingface dataset:
The same syntax works across a range of constructs in Haskell, Scala and Idris.

(+) <$> getx <*> gety

This could be:

* summing two reads in a Transaction,

* summing two parsed numbers in a Parser,

* summing two Nullable values into one Nullable value,

* producing a Validated<T> by validating two of its parts which require validation,

* and on and on.

It's even the cartesian product when run on lists:

let suits = ["♠", "♥", "♦", "♣"]
let nums = concat [["A"], map show [2..10], ["J","Q","K"]]
let cards = (++) <$> nums <*> suits

putStrLn (unwords (take 15 cards))
A♠ A♥ A♦ A♣ 2♠ 2♥ 2♦ 2♣ 3♠ 3♥ 3♦ 3♣ 4♠ 4♥ 4♦

Swift, Roc, Rust and JS have specialised their syntax for just one of these concerns.

Also, it looks like you can just do it with ! in Haskell: https://hackage.haskell.org/package/monadic-bang
Right but assuming I have a branch that's diverged from theirs I have to do a fiddly git rebase --onto and likely resolve the same conflicts again.
Is it right to say that currently the cost of the hardware is being partly subsidized by the profits Apple makes from the software? If some of the profit from the software gets taken away will we see the price of the hardware rise?
Does anyone care about what you do with your own devices? No.

Should your position impose any limitation on what people can do with their own devices? Also no.
I think the root thing I disagree with in this essay is whether (GNU definition) freedom has anything to do with successful, thriving economic markets. No; they're completely orthogonal. The logic of this article might suggest Shenzhen is the freest place on earth—a fast-moving, healthy marketplace with a vast diversity of economic actors to transact with with low friction. Yes, but also no.

- "Freedom and diversity go hand-in-hand. We empower people to express their individuality. The cumulative effect is a richer corpus of shared resources, from which we can all draw from to elevate our experience."

This is like a definition of wealth, not of freedom.
I think it was Cloudflare but you might be right that it was Google - either way, I'm just using default DNS from my ISP, and only had issues for the past few weeks (and only with that one domain, .is not the others - while iirc the known problem with one major DNS provider was due to some choice of DNS setting that means all archive.today domains are affected not just one/some.)
> Do I believe indie devs will be worse off? Unfortunately, also yes.

There's a high number of indie devs which just gave up with the cumbersome appstore process. The ones you see on the appstore are the ones who made past this filter already.

I personally advise single devs against making an app unless you are really sure to have the motivation to go through all all of this.

The mobile stores are particularly bad and unsuited for hobbyists or single devs at the moment.

Just compare that to a website where you deploy and you are done.
Jailer – open-source database client
Exactly I was and still am surprised how fast and wide the adoption of emojis went.
> So there’s a case that in some instances like education, it’s a good thing.

That's where we disagree, I guess.

I don't mind education in the sense of people learning something. That's harmless enough (but doesn't need special subsidies. Just give money to the needy, and let them decide whether they want to invest it in a library membership.)

What I'm against specifically is education in the sense of getting a certificate at the end. A degree etc.

That sort of education has negative externalities and should be highly taxed, not subsidised. It leads to an arms race of credentialism, and is a big reason why eg a high school graduate can't get a decent job these days.

(There are plenty of jobs that used to be done by high school dropouts, that haven't changed all that much. But now require a degree, if you want to be considered for an interview.)
There is one: @reckenrode. He's really good. But yeah only one person who knows nixpkgs inside-out runs Darwin. Low bus factor.
For the average person using lmsys, there is no benefit in choosing your favorite model. Even if you want to stick with your favorite model, choosing a competitor's better answer will still improve the dataset for your favorite model.

The only case where detecting a model makes any difference is for vendors who want to boost their own model by hiring people and paying them every time they select the vendor's model.
The Military Services Don't Care About Suicide
We need a new word for "lazy" (2018)
For all the publicity that the AltStore solo developer tries to push, it's not really a marketplace - it's a hack that Apple let live precisely because it will never get any serious traction.
LLMs are Internet simulators. They will give you an answer the Internet thinks is a good answer. If you live in CA or NY, the legal advice might be passable. If you live in TX, the legal advice is horrible.

LLMs are biased because the Internet is biased.
> Isn't "protect your main branch" still the answer to this?

No, the feature branches need to be protected or something, to enforce that they only rebase locally and don't rebase the parts that I've merged into my branch (and vice versa).

> Also, "git cherry-pick" is a good alternative to merging for this use case.

No it isn't, it means you get multiple unrelated commits for the same change, which causes conflicts and can be disastrous if a commit is deliberately reverted.
thank you so much for sharing glass, I've been searching for something like it but have never found something
Kinda. I think it's slowly becoming more anti immigration in general.

Though with the London Mayoral election on Thursday, it seems like people want Khan out, using "ULEZ" as the excuse for not wanting a "brown" person. I know a fair few people who live in London and their only criticism of him is ULEZ, even if it doesn't effect them at all (massively brainwashed by Facebook)
That was because the devs were idiots who kept a "stash" of pirated games on a shared server. They would have been cooked in discovery if the lawsuit progressed.

A dev team that was actually clean and didn't pirate a single thing would have done much better.
NixOS/GNU Guix is uniquely positioned in this area, as it tracks all dependencies explicitly, with exact versions. If there is a paradigm where this can be achieved on the OS level, they are the closest to it today.

See this related talk from NixOS 2022: https://www.youtube.com/watch?v=HZKFe4mCkr4
Some[1] would see breaking Windows as a feature

[1]Me, surely at least 1 other
"I mean, for native code, your stack is also just allocated space in memory, right?"

Yes. At least on Linux the thread stacks and the memory on the heap are usually allocated with the same syscall (mmap) even. So, the difference is not a question of provenance but how the memory is managed. The native stack is the one the (hardware register) stack pointer points to and there can only be one per thread.

Since this stack's management is hardware supported it can be very fast and efficient. Of course, nothing prevents you from having as many stacks on the heap as you like and manage them yourself. From all I know this is not what managed languages do, but I think they still rely on the amenities of the hardware supported stack.
Merges of course should have changes, but IMO they shouldn't have changes that are not resolving conflicts (either actual conflicts marked by git, or conflicts that manifest in failing tests, etc...). An entirely unrelated change stuffed into a merge commit is inappropriate.
That's possible but it requires a bunch of manual tracking and results in wasted/duplicate effort with people resolving the same conflicts multiple times.
> why would they care

ByteDance would not care, but would that "some company" care? Certainly.

If they are going to care and they think it may happen, does this make them reconsider whether to buy or not, and at what price? Sure.
Eh… never attribute to a Plan that which is adequately explained by org chart politics?
There is also the option of native code generation from bytecode at install time as opposed of runtime.
> Systemd is DESIGNED to be an all or nothing deal.

^[Citation needed]
Right, I should have said 11 years ago, or 10.2 years ago.
Spotify is a music streaming service, not a digital app marketplace. If it is running afoul of an EU law, I don't think it would be the DMA.

I think you're describing a different kind of antitrust.
Obligitory link to the UAE edition Philips bulb that you can't get anywhere else because they don't overdrive it to thermal death and it lasts forever, but between that and being locked out of the whole market there, maybe just turn the current down a smidge for radically longer life.

https://hackaday.com/2021/01/17/leds-from-dubai-the-royal-li...

Ironic, because in pretty much all other respects, Dubai is a solid kick in the knackers to the environment.
> or is meant to.

Indeed. If it's nation state and years in the making then the idea of all the commit times being faked isn't a stretch.

Hell, even five-eyes (UK+AU+US+etc) could seek a linux backdoor and use Perth, Australia (GMT+8) timezones or have a submission bot in the UK that just commits at preset time from preset IP proxy.
How can you be sure in those areas the AI won't be eventually superior? Of course the first on the firing line is the code monkey but I wouldn't be so certain that's where it ends.
I strongly agree with your perspective. Not long ago, I also came across the evaluation data regarding Perplexity.ai. Unfortunately, it appears that Perplexity.ai's performance in multilingual aspects isn't as commendable as expected.

The data from the "AI Search Engine Multilingual Evaluation Report (v1.0) | Search.Glarity.ai" indicates that generative search engines have a long road ahead in terms of exploration, which I find to be of significant importance.
Exploring Sudoers File
Piracy literally cannot affect the economic wellbeing of content or software producers. It is logically impossible!

If it weren't, you wouldn't be experiencing this cascade of downvotes, so get with the program.
Excellent! This was a bad oversight, and I'm so happy it's being corrected. For one thing, it makes native Gecko more viable for Mozilla :)
Then again, if a DEFCON speaker didn't expect this level of a clusterfuck of an outcome, then who would have?
There's a certain amount of hyperbole and bluster, but I believe it will happen sooner or later.
Given that Devin is hype-ware until it is widely available for testing (remember, its been months since announced and still no sign of a reasonable beta roll-out), it would be better to frame this in terms of the general class that Devin represents, ie. AI-powered "full self driving" coders as opposed to the recent (phenomenal) prompt-driven tools like ChatGPT.

So - do FSD coding assistants pose a threat to developers? Sure, just like any tool using GPT3+ class engines do, we are in revolutionary times.

But the revolution here is the engines now available thanks to OpenAI and successors, not the wrappers like Devin and others.

If you're not concerned already, if you're not pondering the future already you've missed the point by seeing it only in the likes of Devin.

Personally, I think there is both risk and opportunity - it really depends on what sort of mindset you have as to whether you need to feel threatened.
I'm not sure that's entirely true in the UK. The Polish plumber taking British jobs is a fairly common trope in far-right discourse. I believe this is prevalent across Western Europe in general.
To be fair, I can at least see roughly why the meaning changed. The word "beg" is being used in a strange (maybe archaic?) way, and it is also useful to encode the idea of giving rise to a follow-up question. The best outcome might just be for a different phrase to capture the original meaning, something like "assumes the conclusion".
I generally prefer code generation. I don't see why it is "error prone" any more than anything else is. In fact, it means that errors aren't concealed in two levels of abstraction which can make them much harder to debug. Also, with generated code, you can add a build step to work around short comings or bugs in the generator where as you otherwise have no choice to live with it.

The "annoying" part I do get -- it's obviously nicer to have instant feedback than being forced to rebuild things -- so for things where you iterate a lot, that does weigh in the other direction.
robot.txt doesnt really mean anything, I used to work for a company that scraped the web and this was literally not a concern. That being said, using data for training LLMs is a new things and potential lawsuits going reddit's way are a possiblity, we can't really know.

One note, its name is not gpt-2 it is gpt2 which could indicate its a "second version" of the previous gpt architecture, gpt-3, gpt-4 being gpt1-3, gpt1-4. I am just speculating and am not an expert whatsoever this could be total bullshit.
My general point of view is that FOSS software is a public good, and that we should aim to maximize the availability of that public good.

This point of view contrasts with other views, for example I don't see much value in ideological purity for its own sake.

For that reason, I think it's a bit foolish to dissuade people from hosting on GitHub as long as Microsoft is subsidizing bandwidth and hosting costs. You might as well stick MSFT with the bill.

But if you go that route, you do kinda have to keep your eyes open to the real possibility of an eventual rug pool. Or even just that MSFT will make incremental cost saving changes that render some uses of GitHub increasingly unusable over time.
I agree. I have no idea when "sideloading" as a term became a thing when it's just plain old "installing software".
No... the author reads it before publishing...
If you implement any kind of encoding support (that is, any kind of support for non-ASCII/non-unicode) you will probably have working Shift-JIS support even if you never test it, because Shift-JIS works the same as every other encoding you might test with. If you tested French or Spanish or really anything that wasn't English, you will display Japanese fine.

If you implement only unicode then you put yourself in a situation where Japanese is uniquely different from every other language, and your program will not work properly for Japanese unless you tested Japanese specifically.
My take is that AI may replace mediocre task taking developers who just write code. It won't replace problem solvers who use code as a means to solve actual problems.
I disagree with him on many things. But I do agree on the T-shirts. I like mine without any prints or branding, especially the stupid university prints.

And I hate ties and formal attire as well, I refuse to wear it and I wouldn't work for a company that requires it.
> If you don't read my posts please do not respond to me. Look at the first post I made and carefully read it.

I read your OP. It does not contain a technical / security criticism of run0. It's an angry, hand-wavey, vague rant against a project that took a design decision you apparently disagree with, but lacking any actual analytical evaluation of the thing up for discussion.

This sort of top-level post shows up on every single article that mentions "systemd", so you'll maybe understand why people tend to be dismissive.
> If you are a solo app developer, you will now have to keep presence on all app stores out there, since if you don’t publish on one then a copycat will

I really wouldn't worry about it. Those of us who care about this kind of thing are the small minority. I'm incredibly happy to have this in the EU, but am under no illusions that it means the average Joe is going to care enough to jump through the hoops necessary to install (yes, install!) an alternative app store.
And I disagree with that. The 'sudo problem' is a good example why it makes sense to handle init and login by the same system (note I'm not meaning "same binary" here, in fact, they are separate binaries in systemd). The SUID approach for sudo has been a problem for decades, and it needs to go. I don't really care if it's done by systemd, or if we agree on another system like S6 that was mentioned in another thread - in the end, they work very similarly be replacing the old sudo with an IPC approach.
I think dynamic linking pre-dates systemd by quite a number of years.
more generally, will developers be replaced? the answer if an affirmative yes. when? unclear at the moment. i think a big moment will be when we free ai/automated agents from the shackles of python/ruby/etc—ie programming languages invented and perfected for the human programmer—and allow them free reins to accomplish their tasks.

i contend that given that the universe of computing (ie the capabilities of the processor) is finite, all software is engaged in essentially the same activities (write to memory here, a file over there, etc) such that the difference between any two could be reduced to a matter of interpretation. if so, any automated agent capable of assigning some meaning to these activities should be able to produce a sound program, in whatever computer language, even one very proprietary to the agent.
Like seat belts?
> There are no rules that are governing what is or isn't a gatekeeper.

Tell me you've not actually read the regulation without telling me you've not read the regulation.
> This doesn't answer the question. Also generators are started very early, before other units have been started, so if your system is already running and now you want to generate those units, depending on the state of the other units, they don't really help.

That's the point. Any situation in which you have a system modify itself at runtime is a recipe for a headache. So you do your auto-generation first, then work from a stable state.

> Are you sure? Can you tell me how I would find out?

Aside from that this kind of recursion seems like a great way to get weird problems, and that generators exist for this exact thing, the whole design of systemd discourages this kind of trickery. Units are just supposed to start a command and little else.

Maybe somebody made an official pronouncement on this somewhere, but my personal take on this kind of thing is that it's a bad idea, anywhere, not just systemd.
In an economic textbook sense, yes.

In the current situation Apple has to consider that a marginal price rise in hardware will lose marginal revenue in software, thereby shifting the equilibrium price of hardware lower.
Similar to my usage as well, it's a good start for unfamiliar territory to quickly get up to speed but you can hit its limits quite fast.

I've been toying around with embedded development for some art projects, it was invaluable to have a kickstart using LLMs to get a glimpse of the knowledge I need to explore, get some useful quick results but when I got into more complex tasks it just breaks down: non-compiling code, missing steps, hallucinations (even to variables that weren't declared previously), reformatting non-functioning code instead of rewriting it.

As complexity grows the tool simply cannot handle it, as you said it's a good sparing partner for new territory but after that you will rely on your own skills to move into intermediate/advanced stuff.
Not sure why you are being downvoted, quote from the video "It's actually systemd's fault":

https://youtu.be/Q6ovtLdSbEA?feature=shared&t=1491
+1. It even looks very similar to TypeScript. Why not use TypeScript as a description of APIs in the first place? Get TypeScript types and even generate OpenAPI schema on the fly to serve it at `/openapi`?
> I do not blame SourceHut, as they clearly state they are still in alpha

The decision to stick to the clunky email interface isn't due to stage name
How I long for a Polish plumber. Hard workers, better skilled, better value.
> When I worked at MIT, I was shocked that MIT graduates, who due to their ability and skill could have almost dictated employment terms, instead felt compelled to wear ties to job interviews, even with companies that (they knew) had the sense not to ask them to wear ties on the job.

Is this still a thing? I've went to dozens of job interviews these last few years, including for Google and for banks and other serious institutions, and I never wore a tie at any of them, nor was it ever suggested that I should (not even by people who had a financial incentive to get me the job) nor did the interviewer ever wear one.
Is that not what would happen over time?
Not sure if this is true. I mean wasn’t the vision that you actually don’t need the mac for most things when the ipad came out?
Don't know about Flashback, but Another World famously was VM based.
Oh gosh if I could use a series of iPad apps to run a Linux system on an iPad I’d be so happy. I mean I could get an android tablet but I don’t really like android. I’m fine with iOS and I love Linux, so sticking those two together would be really nice.

Actually I’d love to run a Linux VM on my iPhone too!
Nintendo US says that no emulation is legal in any way. I am not a lawyer, just reporting their position.
This sounds like ~30% of parents should be criminally liable for child abuse.

As long as COPPA only applies to the platforms, it essentially doesn't apply.

There is zero reason anyone under the age of 13 should be accessing social media.
Ukrainian Pilots Are Employing iPads to Fire Modern Weapons in Old-School Jets
No AI is involved, it is about community written notes. On theoretically any topics, mostly AI topics initially.

Author said so, here:
https://news.ycombinator.com/item?id=40208511
The law itself says very little about what products do - it works similarly to other laws around machines and devices, where the heavy lifting is relegated to industry accepted standards. This is how CE marking (and the somewhat stalled UKCA mark) works - the law says you have to show that your device complies with industry standards, you produce a bunch of documentation showing this, you can give it a CE mark. It's all self-certified - there's no central body which will check.

It was surprisingly hard to work out the actual standards you need to comply with. It seems it's mostly ETSI EN 303 645, which is an IoT security standard for consumer devices. This is actually a fairly pragmatic checklist of things your device should do. It's a good thing this is now mandated by law. You can see the standard here: https://www.etsi.org/deliver/etsi_en/303600_303699/303645/02...

There's an ARM "Platform Security" framework which cross-checks against that standard - so if you can tick all their boxes you're compliant with the law. https://www.arm.com/architecture/psa-certified

It's nice that this standard is openly available - so many of the standards you must comply with to legally sell a product in the EU are hidden behind expensive paywalls. It's absurd that complying with EU and UK law requires paying a 3rd party sometimes hundreds of Euros.
It's purely arbitrary to say iPadOS is a separate thing. They could just say there's an iPadAirOS, and an iPadProOS, or an iPadAir64GBOS, or ...
Only downside I've seen is my wife doesn't get cultural references, and doesn't do anything without a TV show on, after having grown up without TV. And god help you if you're talking to her while she's watching it; she may as well have noise cancelling headphones on turned to 11, even if the volume is low from her laptop speakers.
It's not a prison, you can leave whenever you want and take with you everything that's supported outside github. Git clone and go. The features that attracted you to begin with still attract you, though, so maybe you don't want to.

Compared to e.g. moving a team from one mail server to another, moving from github is remarkably simple.