skysight-inc/HackerNews huggingface dataset:
The answer to the question “When do I need the ;; within OCaml source code?” is never.

It's not a part of the language and is only used by the interpreter as an end of input mark.

Historical note: In CAML Light, the predecessor of OCaml, double semicolons were mandatory. For this reason they are quite common in old code originally written in CAML Light or written in the early days of OCaml. These days they are considered a bad style.

from https://baturin.org/docs/ocaml-faq/#the-double-semicolon
What is it fundamentally about symbolic integration that makes it so much more difficult to do? I mean, I studied calculus and learned any number of the rules but it's a curious thing that one operation, differentiation is trivial, yet the opposite, integration is massively complex.
Thanks for the clarification. From the sparse documentation of SDL_GPU it was somewhat difficult to understand which parts are part of the SDL 3 merge, and which parts are something else.

I did find an example of using the GPU API, but I didn't see any mention of selecting a backend (Vk, etc.) in the example - is this possible or is the backend selected e.g. based on the OS?
Astro: The web framework for content-driven websites
Maybe I'm wrong—probably am—but isn't the article talking about something else? He's not talking about making a copy of a piece of software as a perfect replica. I think he's talking about coding something that is not conceptually different from something that was already existing.
I think you're both correct. Engineers are still susceptible to ads, but are more often than not able to remove them.

Also, you have engineers/developpers like me who actively boycott products when the ad was too intrusive/take me for an idiot (sexualized ads do that for me). I've never bought a Ubisoft game since 2013 or a for the first reason (and avoid Razer), and the second one makes my toiletry shopping interesting.
That link is from 2015, so I suspect it's talking about benefits at very low penetration.

Clearly things become very different at very high penetration. I mean, if everyone is net metering, who is consuming the excess power? Who is paying for the power plants that these people use when not providing their own power? The economics would go all to hell.
> The entire point of DoH is to bypass the ability of the users to prevent browsers from providing browsing habits to their owners.

It is the entire point of DoH indeed, while hiding behind the idea that is somehow prevents the state/ISP from knowing which sites you go to (which it really doesn't).

There only one way to get best of both world:

- force your browser to never ever use DoH / DoT: force good old, in the clear, DNS over port 53

- run your own local DNS resolver (I run *unbound*)

- only ever allow DNS port 53 to/from your machine and your local resolver (I run *unbound* on an old Raspberry Pi)

- have your DNS resolver use DoH

This way you get the imaginary protection that your DNS traffic is "encrypted" between you and your ISP: I mean, it is encrypted... But it's an illusion to believe it prevents your ISP / friendly-state-after-your-well-being from knowing which sites you visit.

But you also get full control over which domains can be resolved or not.

As a sidenote unbound supports "wildcards" when blocking domains, which is sweet (as opposed to your typical OS's hosts files, which doesn't support wildcard).

FWIW I've configured unbound to return 0.0.0.0 for the millions (!) of (wildcarded) domains I'm blocking and then I use dnsmasq, locally, to convert any 0.0.0.0 to transform into NXDOMAIN. It's versatile and I like that way.

It's Linux so you set that up once and it works for years.
Musk should name this judge a legal representative of X in Brazil. Because why not. He doesn't even have to hire him, just name him.
I clicked at your headline thinking "another looser found out coding isn't for them", only to discover your difficulty is with the awkward hiring process.

It's like saying you're ready to live out your life alone because flirting, dating and finding a good match is difficult.

If we let hard times and self defeating doubts keep us from who we are, humanity is doomed and we might as well all blog about it.

If you've got the stuff keep up the struggle!

Btw, I quit my job and traveled the world for a year and it took me a whole year after that to become stable again. I ended up finding contracting opportunities which forever liberated my lifestyle.

Good luck!
There has to be about 40x more for it added annually to have any impact at all.
Meta Bug Bounty – Fuzzing "netconsd" for fun and profit
I think it depends on the motivation of the creator. We, software engineers, don’t celebrate enough that someone is learning the craft.

“I made a thing!”

Hey, nice! Lots of us have made the thing, so if you want feedback or advice, just let us know!

That’s quite different from “I made a thing, and I think I can sell it.”

Hey, nice! Lots of us have made the thing so there’s many on the market. What differentiates yours?
Can a person with amnesia understand themselves?
Orion is also WebKit, not chromium based
> Why should a life style support that many, if valid?

Personally, I would say a lifestyle that isn't just a thought experiment should answer one of

A) How do you support the current population of the planet like this?
B) How do you humanely reduce the population over time if you can't?

Obviously still value in thought experiments, but if you're talking about real life, ignoring those two questions gets a bit euthanasia/genocide-y pretty easily. "Every human being alive today not existing" should probably not pass the lifestyle test suite, right?
I assume by 1948 you mean Israel’s declaration and subsequent war of independence. The US had nothing to do with Israel forming beyond being part of the UN vote - Britain was the architect of this part of the Middle East and is responsible for every border drawn by all nations there. This was fallout of the Ottoman Empire choosing to go to war against Western Europe and being defeated (after hundreds of years of incompetent leadership). [0]

The US did not supply Israel in any way until 2 decades later, and it was Eastern European arms dealers first, France second. The first weapons sold to Israel by the US were in 1962 (anti air missiles), followed by some tanks and aircraft later in the decade. Things ramped up considerably after 1967 due to Arab states aligning with the USSR. [1]

RFK was assassinated by a Palestinian terrorist in 1968. [2]

0. https://en.m.wikipedia.org/wiki/Partition_of_the_Ottoman_Emp...

1. https://en.m.wikipedia.org/wiki/Israel%E2%80%93United_States...

2. https://en.m.wikipedia.org/wiki/Assassination_of_Robert_F._K...
I’ve been seeing this in DDG too, pretty annoying. I usually end up switching over to Google but will try Brave now you mention it
There’s no reason to have a Box<T> there, because Arc already boxes.
What is there to be weary of? It's a photo and a QR link for CA cops to be able to look up your database record.

Google isn't getting any significant data here, AFAICS.
> Most people who write software do so to create something that isn't already available.

Well I guess we must work in a different environment because over my 13 years as a web dev I've seen people trying to reinvent the weel and coding the same thing over and over again. Just think at all infinite JS frameworks.

Are they technically identical? No. Was the problem "solved" already? Probably yes. Was it not solved the exact way the developer wanted? Also probably yes which is why they decided to code something new.
OneUptime.com already does it with the copilot feature. It also fixes exceptions, add structured logs, optimizes functions / spans that take a long time to complete and integrates with OpenTelemetry natively.

It's also 100% open-source.
It must have been tested. If it weren't KCl, then why would there be no prosecution?

If it were vitamin D, it'd be a very short hearing.

>I don't agree. On appeal there are only two "jurors" ("nämndemän"), and they can be outvoted by the three career judges. Also, a real jury doesn't have to explain their reasoning in writing.

Yes, but is that actually good? Isn't it better to have reasoned judgements? That people explain carefully, why they've determined things as they have, so that their reasoning can be questioned?

If there's an unaccountable jury which doesn't have to justify itself, then I can't trust the judgements of the courts. They need to justify themselves, because we have set them there as representatives for ourselves.

But surely the prosecutor has tried to figure out how the brown bottle was obtained? Surely questions about this were asked during interviews.

Also, do you really think it's good for people to come to these kinds of unjustified conclusions, and convict people for things for which there is in fact no evidence?
You’re not but that’s the point. Google realise they don’t control the OS (in many cases) and thus struggle to monetise it.

I don’t have a problem with doing dns lookups over http, or any other protocol you want to use, if I configure my OS resolver to do that.

When people don’t like DoH they tend to mean they have a problem with bypassing the OS.

Theres then the concept of DoH, network admins have a harder job blocking it without MitMing traffic (and in some cases installing new root certificates and thus reducing security for users).

I’m less concerned about that. The argument for DoH often goes to “I don’t trust my network but I do trust Google” but I can see why some don’t trust their network. Personally I’d tunnel all traffic if I were on an untrusted network.

As someone who doesn’t trust Google (as their income comes from selling my personal data against my will) but does trust my network (as I am the network admin) I lean in the “anti DoH” camp, but regardless of which camp, DNS should be configured at the OS level (whether that’s a manual choice to use Google or cloudflare or whatever, or to accept the network hints)
The crash in price of solar is upending the negawatt story. If power does become very cheap, efficiency becomes less important.
I don't know. Maybe companies should have risks associated with being owned by moguls? Other than being destroyed or criplled on a whim by said mogul of course.

Any measure that discintentivises the rich from owning real world things is a step in the right direction.
Bias disclaimer: AWS is my current employer.

Maybe I'm missing something obvious, but if the author believes the ping traffic is being spoofed, how could they know AWS is the source?
Right. This is to say there nothing real or authentic about the numbers we are given. Solar numbers will shrink or inflate as a function of subsidies or taxes. The whole thing is operating within the confines of government largesse. It's nothing to do with the actual cost of energy, those numbers are a mystery.
NYC has vastly bigger safety net and subsidies for housing than a place like Bangkok.

Countries like Thailand also have very high inequality—many city dwellers have family living in literal villages. And even if inequality was higher in NYC—doesn’t that prove it’s a moral and cultural issue rather than an economic one?
For me using the mouse caused me much pain. The fine positioning and operating the buttons were required conflicting muscle groups to cooperate. My solution is to have a trackball for the right hand and a mouse with the optical window taped up for the left hand. Thus positioning and clicking / operating the wheel no longer require conflicting muscles to act.

For me it was a revelation to actually slow down and watch out which micro-motion lead to which source of pain. Once I could sense the twitches, etc I could change my environment to better suit my physiology.
> I can, however, make as many perfect duplicates of software as I want.

Absolutely true but the point of the article is not about duplicating software. Is about developing something someone else already developed in a similar way even though the act of doing that doesn't produce something that's "original".
I miss the creative explosions of Flash games. Even with Canvas and WASM today there is nothing which comes close.

My favourite casual puzzler was made in Flash and published in 2010, the same year, Jobs published "Thoughts on Flash".

Thankfully then the developers developed a sequel as an iOS app which took advantage of the iPhones sensor. In 2010 in looked for a short time that creative iPhone games could take the crown of Flash. The sequel died in the 32bitocalpse of iOS 9.
Karaoke: From the Ashes of the World's First App Store
You have to wrangle a bunch of complex structs into rendering pipelines before you can really do anything at all:

https://vkguide.dev/docs/new_chapter_3/building_pipeline/
Same as if you were to post it on notice boards, I would opt to not give a fuck.
Post-Apocalyptic Education
I don't know how you could ever do kagi small web with google.

That's not a simple hard filter but changes what types of results are more or less preferred.
>Humans are susceptible to advertising full stop

In the same way we're still "affected" by rain because we have to use an umbrella or a raincoat, sure. Compensating for a known effect can come near or exactly the desired outcome.
> I don't have a good answer to that. No one has has ever been able to give me the answer either. That's why I don't fault those folks for asking for military intervention.

If we had went through all the due process for debating and processing these issues in the public sphere I would tend to agree. Or if it reached such catastrophic outcomes as we have seen in other countries.

However we went from a mostly systemically dysfunctional government, which is very common, to having fear and despair unilaterally incited by Bolsonaro. When he blames all the issues on communism and the workers party, incite people to kill the opposition, which some supporters took to the extreme of actually gunning down people celebrating the election, spend the entire time in power questioning the election system without actually improving it, we skip the entire democratic process without giving it a chance to work.

Yes, the workers party spent almost four mandates and nothing changed. But brazillian democracy itself is quite young, it's not even 40 years old. Things take a while to get better, and we already see our democratic institutions get better over time.

After saying all that I kind of agree that these folks asking for military intervention aren't all at fault. I think they are victims of a strategy of fear Bolsonaro used to gain power. However, I don't think that movement is legitimate and I think if not for the judicial system we might have had way worse problems to worry about than Moraes having talked to two assessors when investigating rioters, or having Moraes close down X for not complying with sovereign country laws. We might even see investigations against de Moraes, just as we have seen against Moro. We have precedence for this.
I believe the Re-Pair algorithm used for doing linear time byte-pair encoding makes use of a similar idea: https://en.m.wikipedia.org/wiki/Re-Pair

There, instead of dates, the “priority index” reflects the frequencies of pairs seen in the input string. This leads to guaranteed O(1) runtime amortized over the input string, since the largest frequency count is bounded by the size of the input and can only decrease as merges happen.
I can't find the essay now, but I remember reading something from years and years ago: Bruce Schneier arguing that it made sense for airline pilots to go through security with everyone else, in spite of the silly appearance, because the inherent complication in implementing a two tier system would both eat up efficiency gains and unavoidably introduce security flaws.

He convinced me at the time, but I wasn't expecting such an on-the-nose demonstration.
Rubi is great. When I'm stuck on an integral in Mathematica with the builtin Integrate, I load up Rubi and sometimes it can find a solution.
> So you have something that has a ' in front, is that a lifetime, or a missing ' later?

Not once has this come up for me. They are in completely different places syntactically and can never overlap.

Sure, `'` might be text related in a lot of languages but definitely not universally. In LISP 'foo is shorthand for (quote foo) and also does not have a second character. Ocaml uses 'foo for types and foo' is just a valid identifier. Standard ML also has 'foo for type variables and I believe also allows identifiers named foo'. Haskell allows identifiers named foo' as well.

Maybe it's odd coming from languages you are familiar with, but it's not at all something that is unique to Rust.

> Rust does this with ! as well if I understand correctly

I am not sure how the case with ! is similar. Macros just end with ! to make them clearer visually, it's not part of an operator. There can never be any syntax ambiguity with them, neither visually or lexically. Also what would be the point. Take this example:

try!(do_something(...)).further();

Do you really think this would be more readable?

(macro try(do_something(...))).further();
You might be confusing me with someone else.
> So these things are the 'what's different'.

If you consider those part of the recipe then I guess yes.

> but no-one is going to care about your project as something useful or interesting, quite rightly.

Which is totally fair and I think part of the article argues that there are situations where that's absolutely fine.
uBlock stopped the auto download for me I think
Counter-intuitively, when you actually start caring about performance (easy to write "working" Vulkan code, hard to write efficient Vulkan code that competes with DX11 driver magic)
They do ask for location data, and it tends to mostly work - sites like openstreetmap will ask for it when you press the right button for example, which makes sense.

There is a risk that it ends up like cookie banners, and the adtech industry manages to brainwash the world into thinking that the government is the bad guy and they just want some harmless data to share with their 1,345 best friends and they are “forced” to show these. Despite there being no requirement at all to track data, and they break the law with it anyway so why bother.
> You might even be blocking your site from some small ISPs based on where they run their CGNAT gateway (I doubt this, but it's possible).

Why wouldn’t (even small) ISPs run their CGNAT gateway in their own IP space?

Running a CGNAT gateway in the cloud would lead to a lot of problems. I think your subscribers wouldn’t be able to watch Netflix and the like, since they wouldn’t be on a residential IP. It would probably also lead to more anti-bot CAPTCHAs from Cloudflare and Google.

Are there actually any known examples of this?
> Actually this has been proven wrong in the real world.

How so? TL;DR it for me and future readers, please?

> Bryan Cantrill in his talk about OpenSolaris (and its sad ending) talked specifically about how being fork-a-phobic was an issue.

Nobody is "fork-a-phobic", this is childish talk and completely misses the otherwise clear point that I think I presented. Again, if you can TL;DR it meaningfully people could be interested, otherwise it looks like plain old gatekeeping.
DDG search seems to fill 95% of my needs. 5% of the time I have to switch to Google , usually for reviews or some strange maps link / interface. I suppose reviews are part of Google maps too, so really I only need that. Need is questionable but it’s there and easy
My boss at Experian took our team to Bletchley Park intending to go to the NMOC but not having checked that was actually open. Hilarious.

Fortunately the small Memorial to the Polish Cryptographers who are the reason this was worth attempting is outside so we could visit that, about a third of the team were Polish (we hired away some subcontractors from a Polish firm, and then we were in turn bought by Experian) so visiting this memorial was a key part of our intent.

Also IIRC at that time the Bombe was still not in TNMOC, and Colossus was in a separate building so you could see it, but the rest of TNMOC was closed.

I've also seen an even earlier incarnation of TNMOC when I was younger, just basically a room heaped with obsolete computer gear, with some nerds who know roughly what it is but aren't equipped to properly exhibit or explain it. I remember they'd set up some video game consoles, something like the original Sonic The Hedgehog maybe, because they wanted children to have some positive impression, obviously a kitchen appliance sized "disk drive" doesn't mean anything to a child, but it's obvious Sonic is a game even if you're used to much flashier graphics.
I don't

https://www.schneier.com/crypto-gram/archives/2003/0815.html...

https://www.schneier.com/essays/archives/2006/11/the_boardin...
I don’t understand why I’d want a DDG browser. Firefox seems fine ?
I have watched the video.

I am not ignoring or denying there isn't individuals throwing their toys out of the pram when follow-up discussions should remain respectful and mature.

On one end, I get it. Linux kernel is a BIG project. I assume it is still the biggest Free/Open Source project today. Many developers involved in this project genuinely care about it. These big projects will NOT go down well if a release contains bugs. By having another language in the equation is likely to cause tension especially code breakages. Now, these guys need to learn Rust! When a language like Rust is given a lot of push today I can understand their anger when it can feel like it is pushed into the kernel too soon too quickly.

I am not defending these guys - I am just saying I get it. However, on the other end, I do not want to see a project contain over the top reactions when it is not needed. The guy in the video could have handled his responses better and more professionally.

Maybe (and I am assuming, here) a number of Linux kernel developers that behave like this may not have worked in a corporate environment, and have not learned that certain behaviours are not acceptable. Probably have not been a team lead in a project, either. They might be effing good programmers, tho!

That is an assumption, of course. I could say the same thing about Linus, as his responses could/should be handled better over the lifetime of the Linux kernel. Of course, the kernel is HIS BABY and I understand if he gets annoyed reviewing CRAP code.
I remember quite a few efforts to do this around 2021. Is the difference here the amount of data going into the underlying model?
> The optimal solution, then, is for the compiler to be smart enough to recognize that there's a guard and to preemptively enforce it at each callsite.

It sounds to me like you are describing static typing. As far as I know, type inference from patterns and guards is one of the features of the static type system being developed for Elixir right now [1].

> Hell, the even-more-optimal solution would be to not need the guard in the first place, since the * operator already implies an is_number(num) constraint.

The most optimal solution in my opinion would be a type annotation for the function, so that you do not need to write a guard which adds a runtime overhead just to verify a type that you know you want to always be the same anyways is correct.

Type inference from the `*` operator sounds interesting, unfortunately unlike other languages (like Gleam which has *. +. etc.) Elixir does not have a separate set of operators for floats and integers, so you would not be able to infer which type of number the variable needs to be.

If it were up to me, Elixir would not have pattern matching via functions and instead allowed for type annotation in the function head, I think the matching with multiple function clauses is a lot less readable than just having one function with a big case statement at the top level – of course no way that will change, it is how it is.

[1] https://elixirforum.com/t/full-static-type-inference-of-set-...
The Boarding Pass Brouhaha (2006)