skysight-inc/HackerNews huggingface dataset:
As the xmake C++ module main contributor, i can affirm that xmake module support is ahead of cmake, i added support for gcc, clang and msvc, headerunits, import std, automatic reuse of bmi when flags are compatible,import module from an external package (like glm or vulkan_hpp) and i’m closely watching compilers repository to support new things before compiler release

for clangd i can't do much currently, there is a PR that add some support, i tried it, but doesn't require for now buildsystem intervention

For example:

add_requires("vulkan-headers", {configs = {modules = true}})

# xmake.lua
target("test-vk")
set_languages("c++latest")
add_files("src/\*.cpp")
set_policy("build.c++.modules", true)
add_packages("vulkan-headers")

// main.cpp
import std;
import vulkan_hpp;

int main() {
auto vk_context = vk::raii::Context();

const auto exts = vk_context.enumerateInstanceExtensionProperties();
for(auto &&ext : exts)
std::println("{}", std::string{ext.extensionName});

return 0;
}

// result
> xmake f --toolchain=llvm --runtimes="c++_shared" --yes; xmake b
checking for platform ... windows
checking for architecture ... x64
[ 0%]: <test-vk> generating.module.deps src\main.cpp
[ 0%]: <test-vk> generating.module.deps F:\llvm\bin\..\lib\..\share\libc++\v1\std.cppm
[ 0%]: <test-vk> generating.module.deps F:\packages\xmake\v\vulkan-headers\1.3.275+0\ae359cf8d45b4d049acf1ae7350e6dc3\modules\b028617b\vulkan.cppm
[ 12%]: <test-vk> compiling.module.release std
[ 12%]: <test-vk> compiling.module.release vulkan_hpp
[ 62%]: compiling.release src\main.cpp
[ 75%]: linking.release test-vk.exe
[100%]: build ok, spent 5.64s

> xmake run
VK_KHR_device_group_creation
VK_KHR_external_fence_capabilities
VK_KHR_external_memory_capabilities
VK_KHR_external_semaphore_capabilities
VK_KHR_get_physical_device_properties2
VK_KHR_get_surface_capabilities2
VK_KHR_surface
VK_KHR_win32_surface
VK_EXT_debug_report
VK_EXT_debug_utils
VK_EXT_swapchain_colorspace
VK_KHR_portability_enumeration
VK_LUNARG_direct_driver_loading
I already drink more than enough water; I enjoy drinking _something_ while studying.
> The Seattle Public Schools have recently seen a large outflow of parents because of their wretched performance. The performance difference has to be pretty bad for parents to be willing to pony up $20,000 for private tuition.

That was orthogonal to my statement and didn’t actually say anything.

> I wasn't talking about the GED. I'm talking about the public schools.

I know. I am saying that for both of our entire lives there’s been an easy way to get a high school diploma, so even if I agree with the assertion that schools are getting easier, it was never a guarantee that the person got a great education.

> I read the paper. Every single article about the schools has the schools saying they need more revenue, for my entire life. The Seattle Public Schools get $24,000 per student, and they're claiming they need more revenue.

You’re saying that number as if it is somehow too big. How much do you think it should cost to teach a student? Public schools have a lot more responsibilities than a private school; if nothing else they’re required to bus students from any distance in.

> Sure, I have. They all regularly laid off the non-performers, except for the union members.

Bullshit. I am sorry but you’re either misremembering or not being honest, or the word “regularly” is doing a ton of work.

I was at Apple for two years, I met people who, I think, did literally nothing the entire time I was there. I suppose it’s possible that they were fired after I left, but they did nothing for at least two years.

> No, there is no punishment for failing the tests. But the public schools decry those tests because it shows what a bad job the schools do.

That’s an assertion and you do not have any way of knowing if that’s true, and borders on conspiratorial.

> They also claim that students can master a subject while being unable to answer questions about it.

Who claims this? I certainly didn’t.

Doing an exam to gauge how much someone knows is one thing, but the school system, public and private, doesn’t do that. It creates a bizarre gamified system of GPAs and also will create situations where no matter how hard you work it is mathematically impossible to bring up your GPA.

I don’t know the solution but it’s absurd to think that what we have had before is perfect.

But I am having some trouble finding anything but opinion pieces on this, do you have any kind of school board ruling or statute you can point to?

> Yes, at the Seattle Public Schools.

Again, I cannot find anything but opinion pieces on this and assertions on Reddit. Opinion pieces are not news, the NY Post is a joke. Do you have any link to the source of these claims?

Even reading through the Reason.com article, which is where I assume you heard this, it doesn’t appear that they’re really getting rid of gifted programs so much as this is just a reallocation and increased integration. That’s not the same thing.
More likely: the wrong answer would've shut out a profitable market rather than the practice. The EU is not the world. Anthropic seems to not mind blocking the EU for example.
Supabase (YC S20) || Remote || Full-time || supabase.com
Supabase is an open-source Firebase alternative with over 60,000 stars on GitHub. In other words, it is a Backend platform offering a Postgres database, vector extensions, auth, real-time functionality, storage, restful APIs, and edge functions.

Top-3 positions we hire for right now:

- Site Reliability Engineer: Postgres https://boards.greenhouse.io/supabase/jobs/5162509004

- Customer Solution Architect
https://boards.greenhouse.io/supabase/jobs/5027144004

- Growth Marketer
https://boards.greenhouse.io/supabase/jobs/5072984004

Please, find the details and apply here https://supabase.com/careers, we manually check and respond to all the applications.
The problem is that complex systems have not made us more knowledgeable and capable, but instead they have become a crutch.

https://www.palladiummag.com/2023/06/01/complex-systems-wont...
I don’t know. We need to define “better” first. My friend has 1970s F150 that still drives. “For how long will car run so that i don’t have to buy a new one” - that’s my definition of “better”. Will modern cars run 50 years from now?
It all feels like a bit of a scam, a Rube Goldberg fantasy where everyone was told “this is how you retire,” and yet the data shows that it’s only going to work for a low single digit percentage of system participants. The outcome worsens over time as demographics compress.

The purpose of the system in this case is to exist (skimming fees for everyone doing the capital market industry performance art), and to provide a false assurance that broad population cohorts have a chance at a favorable outcome (current retirement population).
A commonly used icon or symbol for language selection seems to be the globe symbol (U+1F310). HN seems to filter it away, though, so cannot use it in this comment.
"...it would be pretty useless against the infamous magics of "gongkai"

True, but as I just posted to buescher we, as a society, will have to rethink the EMI problem and this will change the whole approach to electrical engineering per se. Protecting the electromagnetic spectrum will need to be considered of paramount importance (as our communications infrastructure depends on protecting it).

Like chemical engineers, considering the effects of EMI pollution levels will have to become the first step in any electrical/electronic project.

This also means tighter regulation and possibly new laws.
I get heavy 'spook' vibes from this users comment history. JW, but do do you have a source, sir? Couldn't find anything.
Little Johny Drop Tables gets a bad rap every time.
First caveat is even bigger. There already is a HUGE amount of those Xeons and ram modules on the market coming from China where old servers get scrapped, and market is not soaking them in. Nobody needs $18 ancient Xeons. You will never sell 10K of those CPUs in your life time, even if you lower price to $1 a pop.
Another thing worthy of note is that Traefik is configured by default in K3s. This has allowed K3s to be the quickest way to spin up a K8s cluster for testing, essentially allowing you to treat your cluster like cattle too. Simply add your deployment and associated service using NodePort, and you can access your app without worrying about the ingress controller.

I use a shell script to spin up K3s clusters and test apps I specify as a positional parameter on demand (leveraging the ttl.sh ephemeral container registry). The same script tears down the cluster when finished.
I read that, but I'm not convinced it is correct. It is a best ambiguous--development could have gone internal but started with the Lattice codebase. It is also incorrect at least as to version numbers. MSC 3.0 was the first version that wasn't developed by Lattice, whatever the provenance of the source
For those who want to support and gain full access, I've created a $5 discount code! Enjoy: K0MTCWMA
You seem to be approaching this backwards.

Swiss German is German. It gets a German flag. Swiss French is French. It gets a French flag.

As a Brit you get used to American flags to denote English. It's just not a big deal. I mean I even use US English most of the time as I prefer the keyboard layout.

Barely any languages exist in the world without an associated country. You're looking for a problem where none exists. Romansh has like 50,000 speakers and a ton of those probably use something different on their computers anyway. But even there the clear and obvious choice is the Swiss flag.

Back in my day we all had to use ASCII, etc etc.
Very cool!

There are also techniques for the TEM (transmission electron microscope) to visualize and measure magnetic fields such as electron holography.

Esentially by splitting the electron beam in two, passing half through vacuum and half through a magnetic sample, then recombining the beams, you can extract magnetic information from the interference pattern of the two beams with some Fourier analysis magic.

I have a writeup with examples from a project i did years ago on my blog, if anyone is interested: https://longcreek.me/blog/2021/holography-intro

Walkthrough of calculations using Python: https://longcreek.me/blog/2021/holography-code
Well, if you never compare A to B, you won't believe it for sure. :-/
an entire new academic field and emergent media practice with a team of architects, software developers, filmmakers, investigative journalists, scientists, and lawyers. The term refers to the production and presentation of spatial evidence within legal, political, and cultural contexts, and takes architecture to include not only buildings, but shaped environments at the scale of cities and territories.
> The choice was take the best vaccine humanity could produce at short notice, or take your chances with COVID.

The idea that this was the "choice" presented to Australians is just the worst sort of gaslighting. Of course your lockdowns weren't meant to last only until everyone who wanted a vaccine could get one, and didn't end when that was achieved; there were many explicit measures to target the unvaccinated and exclude them from society.

And of course, everyone who took the vaccine still "took their chances with COVID" since it never stopped them from getting it anyway.
Swift Proposal: Synchronous Mutual Exclusion Lock
IITB refuted the data and pointed out HT's data analysis issues [0]

HT didn't take into account students applying for grad school, UPSC/Civil Service, or off campus recruiting.

All HT's data said was only 57% of students decided to use campus placement services. The rest either used off campus services or are applying to grad school or the civil service.

The actual number is around 6%, which is the norm based on past cycles.

[0] - https://indianexpress.com/article/education/only-6-1-student...
To note, all the schools in the Seattle area are losing students, not just Seattle but also Bellevue which doesn’t have the same progressive policies as the SPS does.

Due to a WA state Supreme Court ruling, more property tax money will be re-divided to districts that lost the least number of kids (or actually grew). So every kid the SPS loses, it actually loses most of that $24k. And yes, it’s usually the non-special ed kids who are cheaper to teach that move away or to private schools, so that hurts the district even more. I actually like it like this, as it forces the SPS to be more attentive to all its students.
Whenever someone brings up this nebulous "General Purpose Computer" concept, I challenge them to articulate what makes a phone a general purpose computer, but not a game console. So far I haven't heard a convincing answer. They both have CPUs and typical computer architectures, and can run a wide variety of software. Surely the intention of both smartphone makers and game console makers is that their devices are not made for a "general" purpose, and that (so far) has allowed them to justify locking them down.

"Are they essential for day to day life" is a new one. I'm not sure that makes sense either, but I'll give you points for originality! It's also debatable whether phones are essential for day to day life, but we can leave that in another thread.
I've seen a few in district courts related to Rule 37(e)(2) and signal in particular.
Now you've provided an explanation I can see you're right (but downvoted). We would say Thomas-es in the possessive so it's written Thomas's.
Can't make out the marking from product page photos, is that marked ASM1184e?

1: https://geekworm.com/products/x1011
0: https://www.asmedia.com.tw/product/556yQ9dSX7gP9Tuf/b7FyQBCx...
The joke is your think your country is good, but it turns out it's terrible if those things are "happening regularly"
Anyone link to paper? Page link didn’t work required sign up
The interference is still coming from the car regardless of which function you think is more important. AM radio waves aren't messing with the car, it's the other way around.
I browse the web in multiple languages. I don't even know how to change my Accept-Language headers. I prefer to be able to just choose the language while I'm browsing. That also lets me easily see what languages the site actually offers.
So to prove your point, you picked the richest country in the west to compare with the USSR, but generalized to “people in the west don’t know what poverty is”. The “west” is more than the US you know, unless you’re not talking about this side of the meridian.
In short: FM needs more bandwidth
Honestly, this sounds like normal life being a junior employee at a big company. An ossified clique of old guard managers pick winners and losers with little regard for merit? Unbelievable bureaucratic overhead? Your boss expects you to flatter and fawn all over him because he allows you to work 50-60hrs a week at 80% the median salary without overtime pay? Sorry to say, this is just what they're all like. Do good work, make friends, and try to get a job at a small company where people treat each other decently and incompetents can't hide in the crowd.
Well that makes it okay then right? I guess I should just roll over and let them destroy what little left of our civil rights that still exist...
Yeah I know but we were talking about CLI alternatives and the person said they used a quick python http webserver, but that doesn't work the other way.
The paper explores this, mass burning of hydrocarbons tends to create ocean anoxic events which sequester carbon. They cite a few papers which suggest the PETM and similar events were due to volcanic intrusion on hydrocarbon deposits.
If the agreement is that renting continues as long as both parties are happy, and either party can end it after a minimum time, for no special cost. If someone agrees to that contract, then refuses to let the other party terminate after the minimum time, that is changing the contract.

ok, putting it explicit like that i kind of agree. but i don't see the example from the story in that way. the tenant had a clear expectation that they could stay, and the landlord knew that. they got blindsided by the landlord wanting them to move out because regardless of the actual contract they signed, the tenant clearly wasn't in the position to be able to simply move.

situations like this are the reason why this is actually illegal in germany. being forced to move always creates a hardship for the tenant, and the laws are made to protect against that.
Machine Learning GPU Benchmarks
It's randomly trying values to find the best of the ones it has tried that run. The values would change between runs because you can't feasibly exhaust the search space in a single run to find the absolute best (+the order you try is random).

If you're just looking for "good" the best approach is almost always to just use a normal hash function. If your numbers are extremely large and the range extremely small you can offset so the minimum becomes 0 again and use a smaller/faster hash. If you're more looking for "perfect choice of the exact range" I think the closest you'll get is something like this randomized approach but modify the tests to occur on your interval.
You can print apostrophes on a street sign without any database issues because a street sign doesn't interface directly with a database. At least not yet...

All the technical issues here have already been solved a hundred times, there's plenty of other options. It's a little worrying that we're eliminating punctuation in real life because of issues with integrating with geographical databases.
Designing an API? Try These Techniques to Avoid Future Headaches
Might just be me but I think "On demand GPU provisioning" is easier to understand than "Airbnb for GPUs"
The C++ smart pointers dont prevent multiple threads from mutating the pointed-to data at the same time; multiple threads can both access a unique_ptr at the same time and mutate its contents. Rust requires shared pointers (Arc) to also explicitly implement some sort of Mutex-equivalent runtime safety check in order to mutate the data. Rust also has explicit notion of thread ownership, and whether individual types are safe to pass to different threads; if a construct is not thread safe, Rust will prevent you from using it in multiple threads.

As a benefit of the thread-safety notion, Rust can have two reference-counting pointer types: Arc, which uses atomic reference counting and is roughly equivalent to std::shared_ptr, and Rc which does not use atomics. Rc cannot be used across multiple threads at the same time, and the borrow checker will prevent you from doing this.

Rc is appropriate for data structures which internally benefit from multiple pointers (e.g. graphs) but where all of that information is internal to a single data structure - this becomes available without paying the price of atomics.
One of the things that occurred to me lately about icons is that they don't scale. I don't mean in terms of resolution, I mean that demand for software hugely outstrips the supply of icon artists.

One of the ways we've hacked around this is by using web apps for things. On the web, icons aren't mandatory. Apps aren't started using icons but rather by selecting a bookmark or navigating using search/links. If an icon is supplied it's probably a tiny 16x16 icon of the type that's easy to make. There are no standard art styles and the low resolution means it's not critical to have one anyway.

If you imagine that before writing any HTML file you needed to supply a beautiful hi-res icon for it, well, there'd probably be either fewer web pages or way more people using stock icons that aren't really appropriate. But the non-icon oriented UX of browsers means it's not necessary.
Because other channels worked? We don't know what the percentage would be if it were actually the only option.
> There is no AGI without violence, its part of being free thinking and self survival.

I disagree. Are committed pacifists not in possession of general intelligence?
My new startup includes a pitchfork wielding mob in the ML training loop.
Can someone confirm the validity of the section called ”Can we derive the James-Stein estimator rigorously?"?

The claim that the best estimator must be smooth seemed surprising to me.
Driving home from Burlington, VT after the eclipse. Traffic was crawling. Cell data wasn’t working. FM seemed like all automated stations from far away. Yknow what did provide information on traffic and scaled to the huge influx of people in the area? A news station on AM radio.

But that brings up a bigger problem, many many radio stations are essentially on autopilot or run from a distance without the ability to address local situations. Without support for truly local stations, AM radio may be present, but generally without significant value.
You're right, there could be a single tool that everyone agrees to use, and that would make programming much nicer as you would be able to learn one build tool, and then use whatever language you want with it.

What a build system needs to offer, IMHO as someone who also wrote one, is the following:

* tasks (incl. figuring out the graph of dependencies between them and caching results).

* dependencies. Each language has its own repository so it needs to be pluggable. It also may need to resolve conflicts (e.g. Java can't handle multiple versions of the same lib, which you can get due to transitive deps).

* custom options for each language. Native projects may choose -static or -dynlib, Java projects which bytecode version to target and so on.

* tests, documentation generation, linting etc.

Of course there's more to it, but this is the minimum you need. To accomplish all of these, you'll probably need a real programming language or something very close to it - and that's where the problem lies: which language??

XMake chose Lua, which is a very good choice for this (it's a small language but high level and powerful enough to do everything you may need). But if you're writing Java or JS, do you really want to write builds in Lua? Or just use the language-specific build system? I don't think the answer should be obvious, but reality says we chose the latter.

I would love if one day, something like XMake (basically, a DSL to build stuff that's based on a simple lingua-franca, like Lua) became the standard for all communities, but that's not going to happen unless something changes completely in the industry.
I don't think it is intended to be used in a real system, this was more of an experiment to see what was possible. C++ as a language isn't well-suited to supporting a compile-time borrow checker. The difficulty of retrofitting C++20 modules to the language is probably just a glimmer of the pain that would be involved in making a borrow checker work.

There is a place for runtime borrow checking. Some safe cases in well-designed code are intrinsically un-checkable at compile-time. C++ is pretty amenable to addressing these cases using the type system to dynamically guarantee that references through a unique_ptr-like object are safe at the point of dereference. Much of what the borrow checker does at compile-time could potentially be done at runtime with the caveat that it has an overhead.

This has more than a passing resemblance to how deadlock-free locking systems work. They don't actually prevent the possibility of deadlocks, as that may not be feasible, but they can detect deadlock conditions and automatically edit/repair the execution graph to eliminate the deadlock instance. If a deadlock occurs in a database and no one notices, did it really happen?
Typically the flag of the current language setting
Also a big fan of AM radio in vermont, but the flipside of this is that it's been used to peddle misinformation for decades.
Modern cars seem to be vastly more reliable than even cars from the 90s. They also generally have nicer features
AM can propagate so much further at night, when the ionosphere isn't causing distortion. I'm not looking for good quality, I'm looking to hear stations further away. I absolutely don't want to have to use internet access as a substitute, where now i have to transmit just to receive.
De-Incentivize the landlord market