skysight-inc/HackerNews huggingface dataset:
It's surprising how few Chinese people study in America. With a population 1/14th of America, Australia has 150,000 Chinese students.

The US entry refusals should be familiar fare to Chinese citizens though, as their Govt employs stochastic enforcement all the time, including for censorship and as part of trade disputes.

It sucks for the individuals, but this really isn't about them, it's about the CCP and it's ongoing campaign of industrial espionage and global surveillance.

It is likely a number of 'students' were also part of the diaspora surveillance network, routinely reporting back about the behaviour of overseas Chinese citizens and especially minorities.
Practically speaking, they are.

The effect of a law is at least as important as the literal words on the page.
None of that works, it's simply theatre.

I can just take a (crypto-signed) photo of another photo.
Show HN: Nuxt.js OpenAPI / Swagger API Reference Documentation
Most middle managers aren’t there to be impactful, they are there to remove the busy work from whoever is above them. Mediate conflict within the team, approve vacation requests, do the paperwork, and clarify direction for the team as set by the person above them, so the team isn’t bothering the bigger boss with silly things like, “what is my priority?”
Assuming you mean TrainTime (which does both LIRR and Metro-North). That app is one of the best transit apps I’ve used (public or private).

TrainTime has different requirements though - it’s focused on schedules and ticket-buying (and does both of those things really well). The relaunched MTA app seems more about way-finding, trip planning, service status. For those functions, I’m not sure it does much of a better job than Transit app or Citymapper app (although certainly an improvement over Apple or Google Maps).
Felleisen is an insufferable prick but also easy to avoid. More a symptom of an illness in academia than Racket specifically, I'd say. In the community there are some 'weird nerds' with strong opinions that are likely to be more annoying since their presence is more strongly felt, but that's just how it is in many social settings where money doesn't chain things down.
Any specific highlight from Bogdan? Nothing jumped out from a quick skim.
The US federal government is very strong compared to many countries, just limited in where that power can be applied... in theory. In practice, the insanity that is a precedent-based judicial system over time means that it's all just a disorganized mess where on one hand the Feds can straight up prevent you from boarding a plane, ever, without any semblance of due process (this is not normally a power you'll find in other countries), and yet can't regulate many mundane things like firearms.

However, there is a very solid case for a weak federal government, and it is simply that US is a country that's way too big for any coherent national policy on most matters that we've currently pushed there. It's such a vicious fight because it's half the country trying to bludgeon the other half into submission, motivated by the knowledge that, if you yield, the other guy will pick up this huge club and do the same to you. This will continue until the country breaks down unless we dial it down to state level and accept the fact that other states may have laws and lifestyle that is despicable or horrifying to us in some ways. Either that, or we might as well just break the whole thing apart now and not wait for it to happen in a more violent manner.
That still doesn't entirely make sense. If your program is single threaded then whenever your code is running, the program is waiting for your code and speeding it up will speed up the whole program by the same amount.

If you are never doing concurrent work then there will never be any code where a speed up doesn't affect total runtime because it is waiting for some other work. As I understand it that's the gotcha that Coz fixes, but it doesn't apply in single threaded code.

But I have never got it to work so maybe I'm missing something.

Maybe it's just easier t interpret. Sampling profilers can be a bit confusing, and debug info doesn't always work as neatly as you'd like.
re·con·nais·sance
noun
military observation of a region to locate an enemy or ascertain strategic features.
I built an app that can generate a course on any real topic in about 14 minutes. It has cut the time I spend developing a course (say SEO for beginners) from days to an hour or two to final product. Is it perfect? No but better that the alternative, grinding it out.
Yeah, that's how capitalism works. Any compensation is too much compensation if you're in the red. You can't sustain a business if revenues won't sustain hiring at market rates. So they shut it down. Duh, capitalism. This budget is such a non-story it's really weird how much attention it's getting.

Like, did you actually write out that extremely rounded salary estimate down to the penny and full punctuation just because you want that junior-dev-level salary to look extra big? Why the gimmick?
> When we decide whether certain mathematical claims are true or not, say, Fermat's last theorem---we prove them mathematically, we don't want to appeal to their utility or lack thereof, right?

Well, sort of. We don't care about the utility of Fermat's last theorem per se, but the only reason we care about numbers, which is what Fermat's last theorem is about, is because numbers have utility. It turns out that, having invented numbers for their utility, they also make fun mental playthings. But they were invented to keep track of how many sheep you had.

> Well, truth is a thing regardless of whether or not we evolved to be able to hold such a concept in our minds, no?

No. Truth is a property of propositions, so it only makes sense to talk about truth in the context of something that can harbor a proposition. If such a thing does not exist then neither do propositions and hence neither does truth. It's kind of like talking about "the mass of an idea". Mass is a property of matter, so it doesn't make sense to apply it to something that isn't made of matter.

The thing that encodes propositions doesn't have to be a human brain, of course. It could be an alien brain, or a computer, perhaps even a thermostat (that one is debatable). But it has to be something.
Really good article! I guess that the key is to turn things that I hate to do into a game!

Also, is this also why people go through schools and university because of the system has grades as a scoring system and the "promise" of a good career and life at the end of it?
Yes, but it is also possible to generate "parameterised" random walks that have some predictability and are visually indistinguishable from "pure" random walks.

Or two series that are dependent, but individually look like random walks.
it was indexing and mutating arrays / hashmaps that students had trouble with. Certainly a very different programming model than what’s presented in racket, with recursive iterations.

Of course with years of experience it’s easy to interpolate one from the other but these are students who’ve had 4 months of exposure to programming that have to jump from functional languages into operating systems and data structures and algorithms, all of which are taught with imperative languages
This is indeed pretty cool. They also have the `aws_s3` extension [1] for doing the same thing inside Postgres. Unfortunately, the extension isn't open source.

[1]: https://docs.aws.amazon.com/AmazonRDS/latest/UserGuide/USER_...
Did you want to grace us with any particular relevance of this knowledge or do you just wanna keep it to yourself?

Sadly, after all these years programming, I have yet to discern any real vulnerability in the US government.
Utilizing Girard-Reynolds constraints on a polymorphic push-down automata fundamentally misconstrues both computational topology and dynamic system semantics..
Hits home for me, thanks for posting.
Question in my head is, can LLMs think algorithmically?
Implying an ethnicity is linked to elevated crime rates and quoting statistics is no different from blaming ethnic groups straight away. Both display your reasoning just the same.

> The prior inhabitants of those areas managed to create thriving, safe neighborhoods without youth centers, constant media pandering, or massive public wealth retribution.

The prior inhabitants are not descendants of slaves; they did not suffer a collective trauma, decades of strategic abuse and discrimination by the government and those nice people you’re talking about.

I can’t even fathom how void of empathy one has to be to assume the massive imbalance white people actively created won’t leave deep scars that take time to heal. Merely changing the laws and pretending everyone’s equal now won’t cut it.
Sure, but existing links would still be an issue.
The built-in offline maps are a great feature, thanks for that!
Great work! One of the things that would be incredibly useful/interesting would be generating a reusable script with an LLM, instead of just grabbing the data. In theory, this should result in a massive cost reduction (no need to call the LLM every time) as long as the source code doesn’t change which would make it sustainable for constant and frequent monitoring.
It applies to all other browsers as well.

In this case, Chrome is the only one that supports WebGPU, others are at very least one year away.

All of all them do WebGL though.
Learning Assembly – 1.0
This is a wonderful answer!

I return to my main calling: figuring out why people use PLT scheme without an academic incentive. There must be an answer here somewhere....
for llama 3-8b (smaller model) you need 8GB/16GB of memory: minimum/recommended ||
for llama 3-70b (larger model) you need 64GB/96GB of memory

what kind of memory?
there are 3 types of memory:
GPU memory: medium capacity | high speed ||
Apple Unified memory: high capacity | high speed ||
CPU memory: high capacity | low speed ||

rtx 3090 has 24GB of memory at 935GB/s memory bandwidth ||
rtx 4060ti has 16GB of memory at 288GB/s memory bandwidth ||

m2 mac mini has 8GB/16GB of memory with 100GB/s memory bandwidth ||
m3 macbook pro has 32-128GB of memory with 400GB/s memory bandwidth ||

new x86 consumer cpu have up to 256GB of DDR5 at 100GB/s memory bandwidth ||
old cpu with ddr4 and ddr3 are much slower ||

||

Remember, there is a simple formula for tokens/s:
you need to divide memory bandwidth by model size, so for example:

mac mini runs llama3-8b at 18.8 tps using 5GB of memory 100GB/s/5GB = 20
https://twitter.com/awnihannun/status/1781345824611680596

rtx 3090ti runs llama2-7b at 179 tps also using around 5GB 1000GB/s/5gb = 200
https://github.com/turboderp/exllamav2
The 9-wheeler does have brakes, it's a fixed gear bike - so you just have to stop pedalling to do a hard brake.
He posted a list elsewhere in the thread, showing off his web-shop and stuff for mobile phones.

What I've used most over the years is his writing about GUI development.

https://defn.io/2019/06/17/racket-gui-saves/ helped me figure out some patterns I had trouble with and got me stuck in using Racket for this purpose in personal projects.

Later he added observables and threading logic, making it even nicer to build GUI, https://defn.io/2021/08/01/ann-gui-easy/ .

The core web development tools in Racket aren't exactly trivial to get started with until one is rather fluent with continuations so I've gained a lot from http-easy and Koyo, https://www.youtube.com/watch?v=DS_0-lqiSVs.
I have tested this with multiple veterans and none could tell them apart - but they had a high conviction on which random walks were a good buy and which were compelling shorts.
What I want is biometric plus 3 tries 4 digit PIN -- OR a long passphrase.
Calling default choice (which can be changed right when you add search widget) 'shoving Google down my throat' is quite a big stretch, don't you think?
Haha my thoughts exactly.

Overall I doubt his characterization. It's an okay model but I think the way that YC probably actually works is more like: a network of secret back-channelers with inside info and connections, read a bunch of crazy old treasure maps, pay off landowners, form search cliques, hire people with good shovel-arms, develop tunneling methodologies, and end up swiss cheesing the entire field until the subsurface is a honeycomb of search paths, and maybe they come away with some gold, after agreeing beforehand how it would be divided if it were found.

YC is more like ants, but he makes it sound like robots.

But even that doesn't really cover it, as the whole idea of a zero-sum game where you are searching for something that already exists is broken and wrong. It's false. What you're actually doing (YC be damned, in anything!) is creating something new! You're not finding the gold that's there, you're making it. Out of nothing. And then profiting from it!!! :)
I've always wanted this for payment cards- alternate PIN number that instantly blocks cards and notifies banks security (ie. in case when someone extorts your PIN or wants you to use ATM forcibly) and returns something like "Not enough funds" or similar.
Back before there was a mobile app, I just made a tiny web page that polled the API: https://jrock.us/mta.html It served me very well for many years (just added it to my phone's home screen as a bookmark).

It doesn't work anymore (CORS), so I guess I might as well install the app.
Wait… you have the diffs… why are you retyping the lost code by hand? What am I missing?
This has been going on for 100m years. I doubt we are in any urgent danger.
I'm confident enough to tout this number as effectively true, though I should mention that no company I work with has so far been willing to delete a whole day's work to prove or disprove this experiment yet.

Long ago when I was much more tolerant, I had a boss that would review all code changes every night and delete anything he didn't like. This same boss also believed that version control was overcomplicated and decided the company should standardize on remote access to a network drive at his house.

The effect of this was that I'd occasionally come in the next morning to find that my previous day's work had been deleted. Before I eventually installed an illicit copy of SVN, I got very good at recreating the previous day's work. Rarely took more than an hour, including testing all the edge cases.
The hardest part is finding out what _not_ to code, either before (design) or after (learn from prototype or the previous iteration) having written some.
TB is slow overall, mainly due to Defender. OWL also totally Broke last year when TB updated on a point release, fixed by OWL in days.
Absolutely possible; that's not the problem here.

The deeper problem is that Carto gets a free ride on the website as the incumbent house style. You can fork it, but doesn't make it the default style shown on openstreetmap.org. You could fork it, get popular community support, and still get nowhere except for wasting a lot of effort, because displacing Carto takes a lot of political manoeuvring as well as server resources for hosting the default style (which are not insignificant).

If it was a matter of just forking it, and have the openstreetmap.org website maintainer pick it up if it proved more popular than that would be that, but given the fact that the one other Carto maintainer who seems semi-active is also a member of the OpenStreetMap operations working group (i.e., server resources), spending any effort on a fork with the goal to displace Carto seems pointless at this point in time. I prefer to spend my resources on just making the map better.

Some people justly pick up their crayons and go make a nice thing elsewhere (like the Americana style), or contribute to the styles used by popular apps. For now part of the community just gave up on Carto and is waiting to see how developments for the new vector style will pan out.
Same with marketing and other budgets.

The question is always ‘what ad budget did you manage?’.

Not ‘what return on ad spend ratio did you achieve?’.
I would absolutely agree, for any interesting programming problem. Certainly, the kind of programming I enjoy requires lots of thought and planning.

That said, don't underestimate how much boilerplate code is produced. Yet another webshop, yet another forum, yet another customization of that ERP or CRM system. Crank it out, fast and cheap.

Maybe that's the difference between "coding" and "programming"?
Daily smoker here, I feel significantly more level emotionally and really enjoy a long programming session high. Work loves it too because I find it fun to accidentally put is over time, but maybe that’s just saying I love the job and balance I’ve found.

However quitting almost doesn’t feel like an option and I feel powerless to stop myself from having another joint. It’s interesting to see the reduction in self control as a side effect, it tracks with my experience.
Competence also goes hand in hand with confidence.
Why do you believe your loss of testosterone production is related to cannabis?
Those make sense, and they’re useful to bring up, but I do think that generally considering one informative to the other is A Problem - reservations are from forced relocation and generations of systematic cultural destruction. Even if you’d argue rural areas are facing cultural destruction, it’s (a) not a specific, deliberate aim and (b) has been occurring for a fraction of the time (1-2 generations, vs what, 6 to 20?).

So like, I’d buy that it’s worth taking about both, due to their similarities, but I wouldn’t buy that any conclusions could be made on those alone.

PS - I also want to say, I really appreciate your response; you’ve spoken with a measured an informative tone/etc, and that’s worth celebrating.
Is this a joke or why don't you think they answered the question?
Not that hard for you. I think, you’re overestimating the average employee. At my current company, the maintainers absolutely don’t have a clue how it works, and they are completely unusable when there is a problem with it. They don’t know even the basic things, they just blindly follow transcripts from Microsoft, like telecallers.
Thunderbird is paramount to my workflow and has been for over a decade. If I did not have thunderbird I would be upset.

That said, loving a software requires a paradigm shift for me. I can't fathom loving something that is not alive. I do enjoy it, however.
https://space.stackexchange.com/a/5694/14420
That's wrong, the fact that is inert doesn't mean it's useless

If you remove all nitrogen from atmosphere, there WILL be consequences
The hard part of quitting is the first two weeks. Also, I was like you, but now that I’ve quit I understand how I thought im doing better while high, but actually wasn’t. My two cents, quit it now its not doing you good but you think it is. Also again, the hard part is the first two weeks. Lastly, music is never the same while not high that’s the worst part for me.
This post-hoc rationalization without nuance and stated without evidence is not helpful, and misleading.

- C-level execs and upper management are all about dealing with people. Why is it so male-dominated?

- In a traditionally patriarchal society, stereotypically, the men went out into society and socialized with each other, whereas the women were atomized and kept to child-rearing and household labor.

- Accounting has a balance of the genders. I don't see the people-orientedness as significantly different from engineering.
Crikey what a sociopath to work for. I’m sorry this happened to you.
Are you interested in having a sincere conversation or not?

There is an argument to be made that there is plenty of room for reduction in the compensation the executives received in order to get back in the black, along with any other cost cutting measures. That's why I wrote out the six figure compensation.

If they felt inclined to just shut down rather than try to make ends meet, that's their prerogative. It doesn't make their decision to shut down any less perplexing, though.
Consider that CPS etc al aren't known for de-escalation because that isn't news. We have no idea how many times they tell Karens and Kevins to stop interfering.
Windows is still around, I think. And you used to be able to install anything on it, from any source, with zero control by MS. (On newer versions that's possibly less true.)

But if you want to steal grandmas' money, it's much easier to setup a romance scam operation than to try to get them to install some app.
When did you finish school?
I think it was meant as a parallel; historically light cavalry (explorers) and heavy cavalry (exploiters) had different ideals*, different command structures, and when possible even used different breeds of horses.

Compare the sorts of teams that do prototyping and the sorts of teams that work to a Gantt chart.

* the ideal light cav trooper was jockey-sized, highly observant, and was already a good horseman before enlisting; the ideal heavy cav trooper was imposing, obedient, and was taught just enough horsemanship to carry out orders but not so much that he could go AWOL.
ActiveX is just a brand name for a set of COM interfaces.

Just like nowadays WinRT is just having IInspectable alongside IUnknown, shipping .NET metadata file instead of a TLB and having an application identity.

MFC can pretty well do regular COM, and those macros are much developer friendly than the ATL template junk with multiple inheritance and IDL files without any kind of Visual Studio editing tooling support.

COM sucks no matter what when using Microsoft tools, for whatever reason Microsoft isn't able to deliver as good development experience for COM, as third parties, even though they push it everywhere.

For decades I expected them to finally catch up to Borland or Qt, C++/CX seemed to finally be it, but no, the "ATL rulez!" folks in Redmond had their way.
Does it really take four hours to sharpen an axe? I've never done it.
Electric cars are cool and all but they really aren't that big a deal in terms of the environment. The environmentalists I know hate personalized transportation, full stop. Tesla wants to pave the earth just like any other car company out there. Liberal hypocrisy my ass.
Michel Houellebecq observes that a beautiful girl in her 20s will be confused in her 30s at the paucity of men holding doors open for her.
Thank you for providing the first AI “chat bot” with sane, privacy respecting defaults.
No, the default sort is serendipity :). You have to actively choose “most recommend “. Can you try again to use a bookshelf?
So this is a direct reimplementation of your example in Java - https://gist.github.com/netvl/32698cc97b88267fecee9b30f00d16...

It is under 120 lines, uses Java SE API only, and the complexity is approximately the same. Go does have advantage of built-in selects and channels, which make parts of the logic nicer, but not by much IMO.

On the other hand, in Java almost no one uses standard library to write network apps like this. If I had to use external libraries, which would be the case in the majority of real-world projects, the implementation would look even better and clearer.
> In a functional workplace...

This is assuming a lot. Whose responsibility is it to get to a "functional workplace" and whose responsibility is it to fix it if it's not functional?

And assuming that there is a "social contract" that everyone that's in the workplace buys into is also assuming a lot.
And vice versa!?
Just guessing/reading: it's a metaphor.

You could see the recon as the thinking from the article. The enemy and terrain are the code and various risks and effects associated with changing it.
Comment: Google One VPN may have suffered from a lack of trust
I don’t really know what “think algorithmically means,” but what I’d like to see as a lead engineer is for my seniors to think in terms of maintenance above all else. Nothing clever, nothing coupled, nothing DRY. It should be as dumb and durable as an AK47.
Do you have any resources for this? especially for the adhd kind - I end up going down rabbit holes in the planning part. How do you deal with information overload and overwhelm OR the exploration exploitation dilemma?
Also cool-looking are Volvox.