skysight-inc/HackerNews huggingface dataset:
> doesn't have any way to say "this function should take a Writer"

AFAIK there isn't any dedicated pretty syntax, but there are plenty of solutions that aren't too painful. They all rely on the fact that you're not generating a "new" struct with each call -- comptime function calls assume that the same inputs will yield the same outputs and cache the results to enforce that behavior, so if you call Writer(foo) in two different places you get the _exact_ same struct in both places.

One option would be to instantiate the Writer type just as you would dependent generics in any other language.

fn foo(comptime writerFn: anytype, comptime WriterT: Writer(writerFn), writer: WriterT)

Another option would be to just check the type at comptime. You're able to throw custom error messages during compilation, and comptime code doesn't add runtime overhead of any sort.

fn foo(writer: anytype) !void { checkWriterT(@TypeOf(writer)) }

For completeness, it's worth noting that the correct behavior for strings and more complicated objects is still AFAIK a subject of debate with respect to comptime caching. It should have some nice solution by 1.0 in a few years, but for primitives like functions and types you should have no issues with either of the two above approaches.
If you can do it, show me. But I know you can't

I've been out of the cracking scene for over a decade now, but I expect that to be none other than a challenge, having seen how far publicly available decompilers have progressed.
Having worked at APL you might have an idea whether that project/company is still ongoing, their website seems to have stalled somewhere around 2019? I've toyed with building a GEK or some sort of derivative but this has not gotten pas the drawing stage yet. My interest lies mainly in combined heat-power generation from wood chips as that is a fuel often used by farmers around here, it would be beneficial is they got electrical power 'for free' in the process. From what I've seen at APL their products and prices are mostly tailored to NGOs and research institutes, I'm aiming for something which can be afforded by the average farmer. Especially with the looming 'energy crisis' there should be a market for such, it also combines well with a solar PV installation in that the latter can provide power and hot water in late spring and summer while the former provides more heat and electricity in winter.
Yeah it's kind of surprising that nobody has set up a properly open one with downloadable history. This "fill in a form" one is lame.
You don't think they'd try to change a government they've hated for a long time? I would also find a sudden 180 on Iran suspicious, but also would not be surprised if any Iranian opposition group had US support.
Ignoring the academic point of view for a moment, if you have any sort of table of related data, surely, they have some sort of relationship or queryable attributes.

Find me all users with X... (SELECT * users WHERE X,...).

In practice, I've found that you don't really query documents. Can you? Sure, I suppose, but I found myself reinventing what those databases do for me.

Sorry, I know that's not a formal explanation. But it is a practical day-to-day one. It's easier for me, and I think others too albeit with practice, to simply write a line of SQL to get what I want.
> The guy who I replied to who said it was unusual that it wasn't snowing in Scotland. I don't know what to tell you

Still can't see anyone replying to you with that

> Because you had in your head when you replied to my comment that I must be a climate-change denier....

I had it in my head it wasn't clear what point you are actually making about the original article as much of what you state is, at best, personal experience and little else. Not that that can't add to a discussion to some degree However, I'm still none the wiser but will leave it at that as don't believe this is worth pursuing and will just become (more) circular.
Trivia : planet Tatooine is named after a village in Tunisia

https://en.m.wikipedia.org/wiki/Tataouine
Reading about the actual case, it doesn't sound like that's what happened.

It sounds like he was charged with contempt for violating court privacy orders around a case involving a minor. Not for referring "incorrectly" to his child's gender. He went to the press and spewed information about a case involving a minor which he was explicitly told violating court privacy rules.

Minor's rights to privacy and protection are taken quite seriously by the court.
It's not real. It's obviously too high pitched.
Google launched in 1998 and didn’t buy double click until 2008 when they could afford to spend 3.1 billion on it. So that was hardly an early purchase or required for extreme profitability.
I agree, though there’s a point at which no repetition helps, which is really awkward. And honestly stresses me out going into meetings with them (not Indians in my case).
https://download.virtualbox.org/virtualbox/7.0.0_BETA3/Virtu...

;)
Thank you for your well written article. It plainly describes thoughts that I've had yet struggled to put concretely in words.

You mentioned the complexities of idris and the lack of adoption for a unified system. Are you hopeful that programming languages will begin to move in this direction, or do you think we will quickly arrive at a "good enough" halfway house (Rust seems like a good example of this)?
My Apple Watch hates it when I'm splitting firewood. I have to take it off.
in a scientific degree you still get taught how to use lab equipment and how to do physical experiments. that doesn't make it a trade school. i don't see why CS has this aloof attitude to actually teaching students how to do stuff.
> Researchers had 16 overweight patients eat the same exact meals on two schedules: one with meals earlier in the day and the other with meals about four hours later in the day.

That’s all I need to know to stop reading. Drawing conclusions from n=16, on the latest edition of the journal of bogus research.
Their website says differently Note that macOS VM support is limited to ARM based Macs running macOS Monterey or higher. https://mac.getutm.app/
Definitely wouldn't work. You'd be matching two very noisy signals instead of one clean and one noisy one (which already requires a long time period to match), and it would be really hard to get enough videos to cover all time and then why would you bother when recording the hum directly is easier and better?
I've tried using this a while back, soon after Apple released Ventura beta to developers.

I can say that documentation (and examples) are quite nice and easy to follow, I managed to start Linux VM with Rosetta support, and SSH, in 1-2 hours.

Geekbench numbers were quite close when running in VM (via Rosetta) and natively, they were only a few percentages slower in VM, so it stands to reason that computation heavy workload would run great.

However, using development tools regularly resulted in segmentation fault or crashing for other reasons (e.g. when doing `npm install`). I didn't dig deeper to figure out what are the reasons for this.

Additionally, real-world (from developer's point-of-view) workloads such as running web servers, building software, or running tests, were quite slow compared to running in an ARM VM.
Here is the C code for a DenseNet-121 generated by NN-512:

https://nn-512.com/browse/DenseNet121

Even if you had the C code available to you, you would have a hard time producing the input graph.

Good luck reverse engineering it after GCC has compiled it!

NN-512 has an incredibly flexible code generator. It can easily be tweaked to produce completely different code for the same convolution, so everyone can apply their own twist to defeat the reverse engineers ("the intellectual property thieves").
Yeah, I was thinking this as well. This box and line diagram style is so far away how you would implement many of these structures that you might not recognize them if you saw them.
Schiphol is too large for the area it serves. A huge part of flight are two leg KLM flights (the national carrier, also heavily subsidized) with a cheap layover in Schiphol. Make it less cheap, or even expensive, and international customers are switching to layovers elsewhere. There is no shortage of airports in the area after all. With that, Schiphol would quickly become a second rate airport.

Which isn't a problem at all, the Netherlands are after all small and apart from the tiny clique that set this all up, actually don't need all those connections. Note that the airport is smack in the middle of the countries most heavily populated area, so its air and noise pollution bother many.
People seem to be reporting anecdotally that the pandemic has messed with their sense of time. I wonder if there are any serious research projects underway to study this phenomenon.
My understanding is that "terrorism" means you target civilians with the purpose to terrorize them to push for goals. When you are a Russian retard and destroy a civilian airplane because you are dumb I would not claim in terrorism because it was not intended like that, when you target a bridge, military base , munition depo you are not a terrorist even if civilians are victims... but when you fire at apartments because you are a frustrated cunt and want to terrorize civilians then you are a terrorist state.

But I think there are enough photos and videos from the bridge that experts can figure it out, even if Russian propaganda will spin some cigarette story or other weird excuse.
Juppor is talking about suing in Florida courts. Florida is absolutely at will. He may be able to sue to collect a foreign court judgement instead, but it is notoriously difficult to collect judgments, even us Court judgments, if the other party stonewalls you
I'm not an expert dealing with PSP, but situations where a payment is validated through a "return to merchant URL" is risky and could lead to payment being captured without the merchant being notified.

Stripe abstracts away all the complexity having to deal with dozens of payments methods behind this single PaymentIntent API, which let you query the status of a payment at anytime (and webhooks are just a way to listen for updates in realtime).
Many developers don't go through the steps to develop for Apple since they like ObjC or Xcode or the review process, but since that's where the users are. Apple created great products for users, where the walled garden reduces the risk of catching a bad app harming you.

Microsoft on the other hand always tried to give developers tools and access to it with quite good documentation. Enabling people to build on top of their platform. Making sure that other people can built upon their platform. This brought Windows in a ton of embedded worlds except the phone, where they missed the reinvention by Apple. But from say ATMs to Trains Windows is still ubiquitous. And that's the way they built Azure. Want to offer your own Service? - You can integrate it into Azures Cloud Console. And at the same time they still foster developers, with GitHub, VisualStudioCode and TypeScript.
For those not in tune with virtualbox, this beta lets you run 32-bit x86 guests on aarch64 macOS
If we wanted to argue against, we can appeal to priorities.

Despite the popular adage, human ingenuity is limited. We can distribute more hard puzzles than puzzle solver can solve.

All else equal, if more puzzles exist than we can solve, we should solve puzzles that help advance our goals.

If we can show more important problems exist, it could be possible to make a good faith attempt at trying to see from the point of view of someone who thinks some puzzles should be ordered after other puzzles.

In that frame, the mere existence of all puzzles might be enough to justify many problems (even some "suboptimal" problems lower down the list), but there would also exist problems so uninteresting that their mere existence is not enough.

(All that being said, I'm not entirely sure why I bothered typing all of that in response to a rethorical question... but I suppose you could see arguing as a puzzle, and isn't the existence of that puzzle enough? :P)
Germany loves the common market due to the way their economy is structured. Normally what happens for a major exporting country is that their currency (Deutschmark) would go up in value because of high demand to pay for German goods. This drives up the cost of their goods making them less attractive.

But in the common market with a shared currency they are able to keep the cost of their goods artificially low due to other countries absorbing the demand for the currency.

So where Germany wins, you can guess that other countries lose.
At some point in the future, people will be studying and analyzing 4chan trolling the way they analyzed British political satire rags of the 1800s.

It is a new form of writing, though. Satire, today, is thought of as something that is known to be false, while trolling seems to be characterized by a sort of "stochastic truth" where the author is purposely ambiguous about whether they believe it or not. It lets the author of a piece of trolling say things that are clearly over the line, and mean it. It lets the author walk back the statements if they are unpopular and lean in if they are popular.

I do wonder if original pieces of satire and parody from hundreds of years ago were written with the intention of the same ambiguity of truth.
For reference https://en.wikipedia.org/wiki/Northrop_Tacit_Blue
You want to be free to see a handbook with suicide instructions next to the pure sodium nitrite you order? That’s the freedom you are personally advocating for? You’re not seeing anything about this turn of events that could be improved upon?

Do you also want to be free to buy baby formula and not be sure what’s in it, or a car where the seatbelts fail if you weigh over 150lbs? Do you want freedom to see pornographic billboards near the playground?

These things aren’t freedom by any recognizable definition. They’re just defective products made by unaccountable corporations. Like Amazon’s recommendation engine in this case.

The idea that corporations should just be able to do whatever they want is so fucking toxic. Seeing this attitude pervasive here on the discussion board of the private equity firm that’s advised so much of our modern tech culture sure does explain a lot though.
The pattern seems to be that as a country becomes more gender-equal, gender-specific preferences become stronger: "the more that women have equal opportunities, the more they differ from men in their preferences"

https://www.science.org/doi/full/10.1126/science.aas9899
> giving people a false impression that the future will be worse than the past even that goes against direct evidence that throughout human history things have trended better, on average, every single year with a few moments of worsening.

This is called 'Whig history' and in my view it is an incorrect characterization of history that gives people a false impression that things will get better without them having to understand the enabling factors that lead to social improvement, ironically leading to the possibility of a decrease in prosperity and social welfare as people take improvement for granted and fail to bring it about through their actions.
I love AGI stories, if you write this please send it over! joe@compellingsciencefiction.com
Advertising without tracking would arguably cost less. Even if it makes less, it's not clear that the margin would be worse or non-viable.
its art.... leave it alone, these films are not documentaries
There is no solution.

How do I break up with someone because I'm unhappy without harming them?

I can't. It just is. Some things just are.

The parents would never have suffered that particular harm if they were disallowed from having children. Is that a solution? It seems a rather effective solution to this particular problem.

Or maybe we can agree that things such as freedom has inherent risks involved and we should seek to mitigate where practical rather than solving it.

---

I mean, I could go on. boys going through puberty can sometimes be embarrassed by unplanned erections in school. Removing them from school would solve the problem, should we do it?
>The authorities in Germany argue that they are encouraging and defending free speech by providing a space where people can share opinions without fear of being attacked or abused.

What they are claiming to be preventing is exactly what they are doing. Is there a general rhetorical term for statements like this?
> 10542667 Aug 9 20:40 node_modules/typescript/lib/typescript.js

aint fitting ten megs in a peek view... :(
You can see the satellites here: https://satellitemap.space/?constellation=starlink

Coverage of the Arctic Ocean is insufficient for ground observation. It could change but would be really obvious as you would have polar orbits through the Pacific Ocean which would be really wasteful for their business model.
That means that the host has to be on Monterey or higher. The guest can be any macOS version.
If you're grinding beans for coffee, it'd end up in the filter basket or whatever and get hot-water extracted, right? I don't see how it necessarily qualifies as "roulette", but I bet everybody has a real good time.
Or rather, any object lessons.
Why 23.976 and not 24 FPS? (2016)
These kinds of diagrams are OK for the most basic introduction to data structures, but they're not much help when it comes to creating an efficient implementation. Learning about data structure implementation without using a relatively low-level language that allows pointers seems to be a recipe for confusion.

Hence, one is probably always better off using the built-ins or libraries for any data structure in a higher-level language rather than implementing them from scratch. For example, here's a nice blog post on how Python dicts are implemented using hash tables written in C.

https://www.laurentluce.com/posts/python-dictionary-implemen...

While it's possible to build something like a binary search tree from scratch in Python using classes for nodes and with references instead of pointers, along with recursive algorithms for traversing it, it doesn't seem like that great of an idea to teach students in this manner. If the goal is to really teach students how to do this, C or similar (Rust?) is probably the better option for code examples, and a lot of time would have to be spent on memory management concepts (i.e. have students build their own dynamically allocated stack for the traversal, to avoid blowing through the stack, maybe).
People read too much into the recent production target cuts. An important thing to consider is that OPEC+ has been failing to meet their targets by about the same amount for several months now, and most experts seem to believe they lack capacity, not the will to produce.

https://markets.businessinsider.com/news/commodities/opec-mi...
> global advertising spend doesn’t depend on tracking so if it was banned little would actually change

> The only difference is relative pricing

... the relative pricing difference is the whole difference I'm talking about. Without targeted advertising niche content makes less money, general audience content makes more. So you agree with me that this is true. Then you say that this is a small change. I say it has enormous effects on the content that gets produced. Honestly, this is transparently obvious.
Just because someone in your favored tribe had their rights violated doesn’t mean you should argue in favor of violating the rights of another group.

It’s sad people are duped by this bad reasoning. You’re seeing the world through tribal scorekeeping lens.

The obvious solution is to extend the rights more universally. This used to be what the ACLU did in America - fight for everyone’s access to free speech. (Sadly they’ve lost their way and no longer do this.)
About your first point, MAD was actually developed by John von Neumann and there is nothing accidental about it.
'He also "moved heaven and earth" to bring MAD about.' https://en.wikipedia.org/wiki/John_von_Neumann#Mutual_assure...
From an operational standpoint it can actually make finding a position more difficult, but does open management opportunities. Keep on mind, an MSc infers an unsuccessful Phd student in some places, and in other contexts a long-term choice to focus on research.

Commercial projects are very different from research environments. However, many institutions try to blur the line between commercial and academic projects. Notably from a legal and economic standpoint... most institutions own everything their students do... Thus, collaborating with a private sector project is difficult as most companies don't want to incur the liability.

If you are asking if managers typically would pay someone more to do the same job as someone with actual work experience. The answer is simply that you are lower on the priority list, as a manager can pocket 7% bonus for the wage difference you think is appropriate.

The academic institutions tell their students a lot of self-serving BS. They may seem like nice folks at first, but most are only interested in the funding you can bring in. The process of screening doctoral candidates is not what most would imagine. Ripping off the naive is pretty much a universal faculty trait...

Consider becoming a plumber...
;)
Yeah I guess it’s the non-trivial bit that needs clarification. My son shelled into nix systems and wrote some c++ code that made system calls. It’s just the way the prereq was written leads me to believe a good portion of his time in this class would be spent on learning things ancillary to the main content.
Canceled my PayPal account none the less.
Same symptom. Upload starts off fast and tails off to 0.01.

I’m surprised I can’t find a test suite I can run on my system that will hit, say, 50 various websites and report on what’s happening- slow elements, failures on certain types of elements, etc. With the bad upload I suspect many requests on a web page load simply fail to arrive at the remote, but I really don’t know.
What’s your input format? Bitmap? Vector?

Also, are you sure the plotter cannot lift the pen? That’s rather weird for a plotter, sort-of turning it into an Etch A Sketch (https://en.wikipedia.org/wiki/Etch_A_Sketch)

If you have a bitmap, I would hunt for a printer driver for a plotter, and try intercept its output.

Alternatively, look for software that uses turtle graphics to print bitmaps.

A cursory search didn’t find me much, though (large ink-jet printers nowadays are called plotter, and plotter services seem heavily advertised on Google), so both may not easily lead to results.

(About the only thing I found is https://observablehq.com/@ehouais/bitmap-image-to-plotter-sv...)
The most recent hardware actually do support ARM hypervisor extensions so you can actually run raw linux on iOS hosts :)

https://worthdoingbadly.com/hv/
Also see https://en.wikipedia.org/wiki/Popeye_Village
(I work at Stripe.)

With Connect, you can do onboarding flows yourself with the Custom plan. Note that information gathering and regulatory requirements for onboarding across dozens of countries is a huge amount of effort. We have whole teams working on this problem alone; not for the feint of heart.

In the abstract we don’t care if you do onboarding or we do. Stripe doesn’t make money there. We offer a solution because it’s a difficult problem that we’re in a position to handle for users.

With payouts you could do something similar. I believe there are platforms that pay everything out to one bank account and then pay out to customers themselves. I’m not an expert on these flows, but I believe it’s to cut down on foreign exchange fees—preventing multiple “hops”. We’re working on making this better.