skysight-inc/HackerNews huggingface dataset:
Well, let's say I want purely to know what has been happening this century, i.e. from 2001 til today, treating anything earlier as general background knowledge (formalism vs platonism, etc.). I saw a few works in Smith's list that were published later than 2000, but didn't have any indication that they weren't primarily surveys of older work. The Oxford Handbook is from 2005 and it sounds like a survey. I don't see a date on Avigad's article but it does discuss some stuff that was contemporary at the time it was written, and some of the MO posts are quite recent and topical.
Look, it doesn't hit "send" on every email that's been sitting in your drafts folder for the last 10 years!

(This happened to me and I hope it's better now)
This looks like overengineering to me. The frontend cannot be that dumb. Every modern frontend technology out there can parse a bunch of JSON efficiently.

If for whatever reason you don't want to call a few REST endpoints to render some stuff, then you should probably replace those endpoints with some other technology.
I've had this, I take a couple extra seconds to specifically say don't recommend me anything from this channel, and then my suggestions get bombarded with that style from videos from different channels

The most blatant was a specific "Get robux" video that appeared constantly on my feed from dozens of different channels but that triggered this extra engagement in the form of blocking, reporting and disliing
The Big Bang should have made cracks in spacetime–why haven’t we found them?
So, is the GIL released when the thread goes to SQLite? Is the behaviour dependent on how the interfacing between Python and C is written?
I'm not sure how to phrase this without sounding like a prick, but I'm not exactly new at this stuff. You missed on all of those examples. I appreciate the point you're trying to make, but Cloudflare is in fact the primary factor here.
If I invest right now, what are the chances that this round strikes it rich? The problem is that if a breakthrough is not achieved in this particular round then the company essentially goes bankrupt and my investment is worth zero.

Quantum is far enough away that unless you have deep pockets it's a donation to a charitable cause. The capital requirements are large enough that profits will be sucked up by later investors who would sooner let the company go bankrupt than let you get a decent return on your money.
??? 'Area Code 770' : https://en.m.wikipedia.org/wiki/Area_code_770
Author here. Yes, it's all about Conway's Law. Unfortunately, it's still a law that governs all companies. Fun fact: I stopped working in projects because I mostly had to find technical solutions to organizational issues.

PS: I wouldn't call it "political" (negatively connotated) but "organizational" (statement of fact)
It's not an answer to your question, but you may be interested in Alfred North Whitehead. He was initially trained as a mathematician and co-wrote some important works, but eventually shifted to religion and developed what is called "process philosophy."

> Beginning in the late 1910s and early 1920s, Whitehead gradually turned his attention from mathematics to philosophy of science, and finally to metaphysics. He developed a comprehensive metaphysical system which radically departed from most of Western philosophy. Whitehead argued that reality consists of processes rather than material objects, and that processes are best defined by their relations with other processes, thus rejecting the theory that reality is fundamentally constructed by bits of matter that exist independently of one another. Today Whitehead's philosophical works – particularly Process and Reality – are regarded as the foundational texts of process philosophy.

https://en.wikipedia.org/wiki/Alfred_North_Whitehead

Alain Badiou also wrote some books on mathematics. He is definitely outside of the "official canon" in analytic philosophy of mathematics. His math-related work seems to have been controversial among more traditional mathematicians and philosophers:

https://en.wikipedia.org/wiki/Alain_Badiou#Being_and_Event
Yes, they produce more than the US (very roughly double) but their per capita is lower. And the US is still a very heavy producer -second in the world .. In this case, both the US and China need to improve
What compose() does is not the point here, it's that the type definition is totally unreadable. I was trying to figure out what compose was supposed to return (the function or the value), in that case, and I still don't really know.

Another random example from Axios:
<T = V>(onFulfilled?: (value: V) => T | Promise<T>, onRejected?: (error: any) => any): number;

Or eslint:
type Prepend<Tuple extends any[], Addend> = ((_: Addend, ..._1: Tuple) => any) extends (..._: infer Result) => any
? Result
: never;

Here's another real example from today... I was trying to figure out how to type "the name of this type's key has to be one of the following strings in this enum, but the type doesn't need to have all the keys". Here's a Stack link with the right answer: https://stackoverflow.com/a/59213781, but it wasn't easy to figure out. At first I thought it would be `[key in Partial<MyEnum>]`, but nope. Maybe optional? `[key in MyEnum]?` kind of works but fails in an new way (see the Stack for details). The correct way to do it is apparently `Partial<Record<MyEnum, unknown>>`, which I NEVER would have been able to figure out. Why the record? Why the unknown? Who knows..?

Don't get me wrong, I love TypeScript for the simpler use cases, and a lot of it IS that, thankfully. But the more complex compositions, especially in popular third-party libs? I've given up lol.

The use of single-letter keywords (K, T, V, P, R, etc.) combined with confusing re-use of punctuation (<> and : and () and []) that mean subtly different things depending on where they're used, on top of how JS already uses them, makes it even more so. Sometimes I wish TypeScript were more verbose and opted for longer, clearer constructs rather than stacked shorthands...
Running Openstreetmap.org – Today and Tomorrow
See! You lack of sword education is clearly showing. sports foils and epees, (by far the most common swords used by kids who fence) are not at all capable of killing anyone, at least no more than a common stick. If you try to thrust it through someone you’ll just break the blade. At best they can be used to poke an eye out, or create bad bruises. But the same is true if someone throwing their phone at another kid.
Text reflow on mobile browsers. I still miss that feature and much prefer that with desktop mode vs crappy mobile mode sites.
I don't understand this attitude. You're annoyed by company's malicious compliance with a law designed to protect you, so you act out against the law, and not the malicious compliance?

Isn't the correct response to say "I always care about unnecessary cookies, don't set them"?

I know there are much less popular extensions that do just this, but I won't link to any because I'm not sure which are best now (just did a search and realised my choice may be out of date).
No generic answer to this but one way to think about it is over the long term would you value more depth (expert in something) or breadth (freedom to explore everything)?

If you value depth, specialize. In an industry (e.g security, healthcare, finance, etc.) or field (AI, distributed systems, scaling, etc.) You'll get intellectual satisfaction, emotional satisfaction if you intrinsically care about the space (e.g healthcare), and financial upside since people value specialization.

If you value breadth and wandering, generalize. You'll still get intellectual satisfaction from knowing a variety of things, emotional satisfaction from working on things you care w/o any industry constraints, and financial upside since generalists are valuable to startups and even though their failure rate is high, being in the right company at the right time could give you the same financial upside you'd get from say being at a large company in a specialized field.

I personally chose to speciailize because I value depth and find diving deep into a field more meaningful. I know many generalists with the same amount of experience who are doing equally well and I would hire them and value them in the same way if I built a company again.
I pretend to be a polymath and sometimes pass myself off as a failed inventor.
I have worked as an artist, extraction metallurgist, software developer, electronics designer/manufacturer and now have done a course in machine learning.
I struggle to complete projects but never give up.
Exactly, I think the failure of such project is embedded in the incentives. OpenMaps are good but you’re not going to convince Google to make them default on Android.

The correct strategy isn’t to hand this over to a giant bureaucracy, but to create an atmosphere where we can have a dozen alternatives to Google.
Employment is defined as the exchange of labor for money. If they’re not paying you, you’re not an employee anymore. You definitely should not be doing more work for them.

As founders, they do have the option to not pay themselves. But they still need to pay you. Make sure they pay for every hour of your time, out of their own personal savings if necessary.

And look for a job in the meantime. You are, after all, unemployed. Whether you realize it or not.
I believe the impetus for Golang was macOS and Windows, rather than the BSDs.

It’s not that libc is used to fix kernel problems/compatibility issues, but rather, the kernel ABI is not a supported, stable public API.

On macOS, there are cases where using the syscall ABI directly will result in your code breaking when interacting with any other code that does correctly use libc, due to out-of-sync userspace state maintained by libc.

For example, the fork(2) implementation in macOS’ libSystem will invalidate the cached copy of the current process’ pid used by getpid(2).

If you fork(2) by directly trapping to a syscall, the cached pid won’t be invalidated; any future calls to getpid(2) through libSystem will return the stale pid.
This is just an index on which different search engines with different priorities can be built.
Dying Out of Sight: Hikikomori in an Aging Japan [video]
Privacy pass uses [VOPRFs](https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/) with the express goal of avoiding tracking, so all this talk about "targeted harassment" is a bit much.
It might be possible using moderation and reporting abuse or registering with the search engine to aid moderation and banning abusers. This will probably also take down right wing websites, porn and online gambling.
> Doesn't China put out more C02 than North America and Western Europe combined?

Different story if you calculate C02 consumption (instead of production) per capita.

People in China are making products for American and Western Europe consumers. Ultimately, most of the responsibility should be in consumers, rather than producers.
I think it would be sensible to block new account registrations with addresses from email address aliasing services (e.g. duck.com) or disposable email address services (e.g. mailinator.com).
I've been professionally employed as a software developer since 1998 and I am currently curled up in a ball in the corner rocking slowly back and forth after seeing that.
https://www.howtogeek.com/692271/how-to-force-dark-mode-in-a...
>China produces 80% of lithium batteries and uses a lot of coal while doing it. Are they going to levy a proportional tax on import? Or they going to facilitate changes to encourage more domestically produced batteries?

Most of that production is to US and Europe consumers. If you want to punish China for this, simply not buy any lithium-based products such as laptops, cell phones, electric cars.
WASM supports shared memory: https://docs.wasmtime.dev/api/wasmtime/struct.SharedMemory.h...

It works on web too.
When I'm using someone else's code, though, I need to be able to understand what it's expecting and returning... isn't that the point of a typing system? It's not just an internal unit test, but a signal to other developers of how the function is supposed to work (especially if it's exported and intended for reuse).

Quite often I get a function that's working correctly but typed incorrectly (including in someone else's typescript definitions), and sometimes I can correct them but other times I can't even read the original author's intent...

And edit: It's not that types have to be simple, but that complex types (especially) should be readable, as in you can follow the complexity step by step, line by line.

I feel like that definition is the TypeScript equivalent of "callback hell" or similar. It almost looks minified or obfuscated, or just written to be super terse instead of clear. I don't really know which it is, because I can't even begin to read it...

I'm not a TypeScript expert by any stretch, but I've been using it 40 hours a week for the last year and I SHOULD at least be able to start to read it... but nope. And I come across examples like that multiple times a week. It's just a really bizarre syntax, unlike any of the other languages I've ever used. I think it's like that because they had to hack it on top of Javascript, vs a language being strongly-typed from the getgo.
I don't think I suggested that someone should wait, just that the opportunity to talk about blockers (ask for help) was important.

Each of the loops is about shortening the cycle before you discover problems. These are seen through the lens of traditional waterfall software development. The problems vary in nature, from technical blockers and dependencies, to unrealistic deadlines and expectations, to not building what the customer wants (why we involve the customer early and do showcases).

In some ways the more mature your team becomes the more you can move past some of the rules. The 'standup' was designed to avoid the meeting becoming overly long, everyone would become foot sore. Once you understand and embrace making the meeting not turn into an hour long (or even 30 min long) meeting, the standing itself becomes less important (which is good because remote teams make this harder).

Similarly, there are even shorter cycles of being able to remove blockers now. Granted Slack team channels can be a blessing and a curse, but it does make it possible to just put problems out there for consideration[0]. These sometimes go unanswered though, which means that the aforementioned standup becomes a backup.

I've been part of so many lean/agile teams that all do things slightly different. The highest preforming of those were the ones where the trust was the highest. Great teams become "a rising tide lifts all boats"[1].

I hope you don't see this (and the previous post) as an attack. It's near on impossible from a distance to really see. It felt like a red flag but that's two lines of text on a semi-anonymous message board.

[0]: draft PRs also fall into this category. Though again, devs have to find time to read them.

[1]: https://en.wikipedia.org/wiki/A_rising_tide_lifts_all_boats
If you think everyone, with React on resume, is in the latter category, then I have a bridge to sell to you.
Java and C# to my understanding are intended to be run in an untrusted way and can cause segfaults or take over the surrounding process (with JNI or C# unsafe). With something like wasmtime I can have untrusted user code in the same process that I have. This means I can do things like have really low-latency interconnect or start running a user's code in microseconds.
Yes, but it's all relative.

For example, nearly the entire car industry is impacted by supply chain problems. The result has been fewer cars sold for higher prices.
This headline is provocatively worded by Fox to imply censorship. A bunch of strips have been canned, not just dilbert.

I'd be more concerned about BC and the wizard of Id
How about things like Expand a Lung? Can they improve cardio fitness?
The article puts forward a slightly different proposition, but IMO BFF in smaller organizations are often managed by backend teams (makes sense seeing that "backend" is still the name...). Same goes for teams with full stack devs, they'll be touching whatever layer they want.

Having multiple layers of backend services can have benefits, and one of these layers would just happen to be dedicated to the public facing frontend. To me the one of the main advantage is to make it easier to manage the security settings and applying different assumptions across the whole API. It is single purpose, so it helps a lot for customization and management (or even choosing a different stack altogether, having different scaling strategies etc.)

It becomes something managed really differently when the "real" backend is opaque and off limits (as describe in the article), but then I'm not sure we should call that "BFF", it's just a regular backend for that team as they have no other backend in charge (i.e if I had a single backend API for a mobile app, that I use to interface with Stripe, I wouldn't call it "BFF", that would make no sense)
If you want the lowdown from an expert, the issue with these acceleration schemes with lasers is the accelerated beams aren't that great in terms of characteristics, specifically they tend to not have the best divergence and energy spread compared to traditional linacs (divergence is better for electron beams from LWFA but for the ion accelerators which are another major application of intense laser interaction with plasma, the beam characteristics are much worse). With a cyclotron or a linac you control everything a lot better because the involved fields are fields you put in yourself with equipment you can tinker with, but here the plasma bubble is microscopic and the relevant physics happens on a femtosecond-to-picosecond time scale, and any small issues with the input laser (specifically the wings of the gaussian pulse) mess things up.

One of the issues that I sort of sniffed out in the field is as a whole they are pushing for higher and higher peak energy without really looking to improve beam quality, that is, everything below the peak. Like this paper (which an old colleague is an author on!! Congrats to him) is actually pretty good on the divergence as 1mrad (mili radians) but the energy spread is 15% around the peak, which is good for some things, but there are experiments with linacs that require percent spreads less than a percent. Now, you can probably "filter" out the energies you don't want out of the beam to make it even more monoenergetic, but for example this beam has tens of picocoloumbs. Assuming (very generously, haven't read beyond the abstract yet) that most of the tens of pico they report is in that 15% spread, 1% means you might be dipping into less than a picocoloumb territory on target for your experiment, which might not give enough dose for what you need to probe or otherwise do.

Anyway, in terms of the field, this work is fantastic, and generally Howard and Jorge are fantastic scientists (never met Jorge but Howard's a real decent man), but this is the cream of the crop of what we as a field can currently do. I feel like getting to the point where we give the traditional accelerator types a run on their money is still a few years out.
I use gedit on Linux , sometimes I have multiple files, sometimes a long one … what I don’t need I delete
Obviously, do whatever you want if you’re just playing around, but please do be aware that the syscall interface on macOS is private, subject to change at any time, and should never be used directly.
One company operates thousands of SF apartments. But who’s the landlord?
World Chess Champion Magnus Carlsen Resigns from Match After Just One Move
https://bytecodealliance.org/articles/wasmtime-1-0-fast-safe...

Hope you saw wasmtime announcement

Shopify etc
CEOs aren’t exploited.

(My actual position is more nuanced, but I think it’s irrelevant, as you must agree CEOs are not exploited).
Received Pronounciation
Cool, thanks, I'll have to check these out!
Also The RP accent of King Charles III analysed https://www.youtube.com/watch?v=OT16yUEh7-0
3Mb * 14000 = 44040192000

Yep.

Also, CCR and RAID5^W, with a cluster/page inefficiencies:

3mb * 14000 * 1.2 * 2 = 105696460800 / 1Gb = 98.43.

A base 7200 FC head in 2014 cost ~$40k for 8x1.2Tb SAS 10k (PROMO, retail was $78k), so

40000/(7*1200) = $4.76/Gb (RAID5 of 8 disks)

So the cost of just storing a completely unneeded ONE E-MAIL which wasn't even read by 99% of personnel:

4.76 * 98.43 = $468.52 (at least)

NOT including tape backup costs, satellite transfer links, storage on the local machines, costs of receiving the message on handsets in roaming.

Edit: I don't remember the specs (we had 1 head with 3 JBODs?), but back when I counted I got around $2k for this. I repeat: for storing ONE e-mail.
You can pay for YouTube premium to get rid of ads, maybe just do that? Or don't let your 3 year old kid watch YouTube in the first place, and show them something from traditional broadcasting. Before complaining about broadcasting standards, maybe first up your parenting standards.
There is an easy way to get the banhammer from Amazon, and it is possible host a JavaScript page that triggers it for any visiting user.

I did tell Amazon about it, but it fell for deaf ears. The ban lasts for about a week and the internet is mostly unusable in that period
> Hence, over-fetching is not an option

If you actually measure real latencies (e.g. collect metrics from your mobile apps), this is not true most of the time, at least in my experience. Most responses are fairly small, making them a bit smaller doesn’t have much impact on mobile app performance in the real world.

I’d guess for most apps, there are maybe a handful of endpoints where the response size can be reduced a tonne for mobile clients, AND that makes a big performance difference in practice. But instead of hopping straight to BFFs, or other approaches to solving this like GraphQL, you can just add a “fields” query param to those few key endpoints. If provided by the caller, you return only the fields they ask for. No massive re-architecture to BFFs or GQL, just a small change to a couple endpoints that a single dev can implement in a day or two.

Now, there are other benefits to BFFs than minimal, client specific payloads. One is that you can make breaking changes to underlying APIs, and not break always-so-slow-to-upgrade mobile clients, by preserving backwards compatibility in your mobile BFF layer. Another is coordinating multiple calls - turning many sequential round trips into a single round trip can be a big win. But if your main concern is payload size, BFFs are probably an over engineered solution.
>States are in anarchy, after all.
> how they made Tor basically unusable on non-onion sites

I wonder if that's such a bad thing. Tor is safer when the traffic never leaves the network. In the ideal world, everything that matters would be inside the Tor network instead of being merely accessible through it.
Total thrust matters a lot less than how efficient it is.
2024.