skysight-inc/HackerNews huggingface dataset:
The usual argument is that purity and the type system help you write correct code and finance is a domain where correctness is important.

The applications I’ve heard for Idris also have to do with finance (although not blockchain stuff).
Cars should just be blocked from cities unless very special situations. Removing cars from cities has huge health and economic benefits. Car free city centers are universally better then car invested cities.

Cars where they are still allowed should move significantly slower, on much thinner roads.

Self-Driving will not solve anything for cities. They will solve even less then EVs.
Not even sure what point you're trying to make. I was just surprised by your contradictory message claiming that it was only an American thing.

I would be curious to know which country/territory doesn't have slavery in their past (maybe Australia?).
Microsoft should just train it on all their proprietary code instead. See how sanguine they are about it then.
For a side project, I am doing server side templates (Go) with AlpineJS and it is working fine for that project. I realized I didn't a full JS framework like React or Vue (I do use Vue for another bigger project).
It is simply uninteresting to keep repeating the same obvious point - the activist focused on adding unrecognized women to Wikipedia is using a lower bar than the typical Wikipedia article. That is obvious and not debatable, so I'm just going to ignore your gaslighting on the subject.

Regarding other men on Wikipedia of similar low notability - I'm not sure what you think this shows. If there is a male article below the bar, remove it. My claim is not that there are no low notability figures on Wikipedia, but that activists should not intentionally erode Wikipedia by adding low notability figures of their preferred demographic groups.

If you point out a French astronomer who has a barely substantiated blurb on Wikipedia I will think nothing of it. Some Wikipedia articles aren't great and perhaps some should be removed. If this French astronomer is below the bar, remove him. If, on the other hand, you point out a French chauvinist who is adding French academics of any kind for the sole purpose of increasing French representation on Wikipedia - then I will say that's a problem and bad for the exact reasons I've outlined here. Wikipedia should be about true things that people want to know, not an outlet for social activism.

Finally, more as an aside, I'll just say that my personal preference is that Wikipedia should have a lower notability bar. I don't understand why Wikipedia doesn't keep unimportant articles, perhaps just marking them with a "low reliability" indicator if there are too few legitimate sources to substantiate the article. If I were king of Wikipedia I would like to have an article on every professor and academic and author and so on. Why not? But, given that Wikipedia does have a notability bar articles should clear that bar. If you want additional articles you should remove the bar, not selectively ignore the bar to favor your preferred demographic group.
this might also work with a laser, at a somewhat increased range, like a windowbounce device.

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

laser needs precise aim, this radar needs very proximal range in the order of 1yd or less.
This pops up every few years and I always leave frustrated by a lot of the discussion around it. Tay had a feature where it would repeat things that were tweeted at it/sent in a DM (can't remember which, but that feature was 100% present), 4chan users caught whiff of this, and if I remember correctly that is where a lot of the overt "holocaust-denying racist" comments came from.

Another piece of information that I've never been able to find out about Tay is how was it constructed. Nearly all progress in AI since that point has occurred with a frozen model. Once a model is trained, that's it, no more learning, no more optimizing. Sure you can fine tune it, but that's not nearly the same as learning on the fly like Microsoft claimed Tay was able to do, and even so those concepts only became popular several years after Tay was around. If anyone knows more about how Tay worked under the hood, I'd be really interested in knowing because this has been an unsolvable mystery just lingering in the back of my mind for years now.
Also to add that most people (or maybe just a significant portion) in Russian don’t even support the invasion. IMO it has nothing to do with social media tactics, but rather that the invasion is just not popular with anyone besides Russian bureaucrats
And you seem to be missing the point that this article is discussing a cartel created via a middleman; they are restricting the quantity supplied, not just setting their prices individually.
You're going from {0,1} to {-1,1} using indices. Seems easier to just transform via (x*2-1).
Well if one should judge by general sound quality of few pieces from them I had displeasure to listen to, that's not a praise. Brands costing half produced much better sound.

They know noise cancelling though, at least knew better than most few years ago. It seems other players have caught up on this though
Where did you experience that? At least last month Amtrak from NYC didn't require anything like that, nor does the new station have any sort of waiting area to even facilitate that. I've seen something similar in Madrid, where you have to have your bags xrayed and enter into a sterile area but never in the US.
The sad state of “open banking” in NZ
> anyway my favorite feature is that the disability guy is in a rush

That’s actually a thing now: https://blog.logomyway.com/new-handicapped-logo-and-the-hist...
Totally agree. Google/Bing/etc. are offloading the hard work of sifting through garbage to Wikipedia. That's why the top result is always Wikipedia followed by about 3 pages of listicles and clickbait.

Heck, YouTube is linking to Wikipedia for fact-checking purposes. Is that not absolutely insane to anyone else?
I don't know if she's trying to do that. To me it reads as humorous candor - baldly naming the thing people are probably suspecting and then saying that's not happening.
1956 Philips 353A Bakelite Vacuum Tube Radio Repair and Restoration
> You can do a heart or lung transplant on GHC and make truly major changes and the type checker just guides you to do all the right things.

I thought GHC was famously a nightmare to work in?

> GHC is not exemplary of good large scale system design in a pure function language. Rather ironically, it violates the properties that draw people to functional programming in the first place: immutability, modularity, and composability

> many new features have been force-fitted into the existing code without proper redesign

> While the current design isn’t glorious, it works

https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf
Yes, I think that's a fair point.

But I don't see any actual evidence that collusion is happening. Collusion is difficult to pull off! It requires each owner to restrict their supply so that all owners benefit through higher prices. The incentive for an individual owner is to "defect" by renting out their whole supply. Collusion generally requires participants to be able to monitor and enforce each other's behavior.

To the extent that owners are increasing prices slightly to benefit themselves, that's not collusion, that's just the market clearing.
As an open source alternative/competitor it is
You Can Only Maintain So Many Close Friendships (2021)
if maybe then "t" else "f" = "t".

Wow, a very brave design decision :)
> In my example, the friend is only "fixing" the rent in the sense that it was broken (artificially low) before ... For some reason you're assuming that anytime rent is raised it's a violation of the tenant's rights.

Artificially low according to what metric — that people are only paying 30-50% of their income towards housing? People are willing to pay a lot for housing because they often have to. I consider it highly unethical to frame squeezing as much money out of people for shelter as "[taking] away the tenant's ability to exploit an inefficiency in market pricing." Inequality, reliance on food shelters, and homelessness were already bad enough before 2020 and have only gotten significantly worse.

Not to mention that many people who would have been able to purchase homes are unable to do so because of large capital groups or investors purchasing large swathes of homes, significantly driving up the costs, and then renting out that supply at inflated rates or converting them to short-term rentals. It benefits no one except those who are already wealthy.

> I didn't say she controlled the entire supply of housing in the area, and I didn't say she was setting rents artificially high.

In fairness you provided 1,000 and 10,000 as examples of the number of rentals she might own.

Regardless, 1k to 2k is a significant jump in rent and there's likely important context beyond the numbers. A real world example I'm familiar with is people moving from a big city to a small town. Is it unethical or criminal for the rent to jump from 1k to 2k if people are willing to pay for it? Not necessarily. But doing so tends to price out people who actually grew up in that town, especially people with lower or fixed incomes, leading to a strain on social systems and homelessness.
like bun or node or deno (Rust as well as C++).

in techempower, the vast vast majority of code running in the just-js entry is JavaScript. all the core libraries for networking and interacting with the OS are js wrappers around C++/v8. the http server, though incomplete and not production rady, is written in javascript, with http parsing handed off to picohttpparser. the postgres wire protocol is completely written in javascript. in fact, one of the advantages JS and other JIT languages have is you can optimize away a lot of unnecessary logic at run time when you need to. e.g. https://github.com/just-js/libs/blob/main/pg/pg.js#L241

the whole point of doing this was to prove that JS can be as fast as any other language for most real world web serving scenarios.

if i had more time to work on it, i am sure i could improve the fortunes score where it would be at or very close to the top of that ranking too.
Does the article talk about the fact that so many universities stopped requiring the ACT or SAT for admissions? It sounded like this was a trend pre-COVID (because of the prevailing belief that standardized tests discriminated against minorities and poor people) and like many other things was accelerated by COVID when test-taking became impossible. This must have had some interesting effects.
I remember the hoax that led to that policy. I think it was as much about embarrassment and trying to improve the integrity of wikipedia

https://en.wikipedia.org/wiki/Wikipedia_Seigenthaler_biograp...
Telsa doesn't have such ultra-HD maps at all. They build some maps for some simulations and training but the car does not locate itself in such maps when driving.

> Then they drive the route/area about a thousand times, recording each drive. Then they upload the drive with the fewest mistakes to YouTube

This is certainty not what Tesla does, from Tesla vehicles you will find literally 1000s of videos uploaded by Testers on every possible routes.

And Tesla has also never relied on VC funding for any of its self-driving tech.
https://archive.ph/ltZUO
After billions in investment, plant-based meat is a branding catastrophe
It does extract frequency information but not via FFT. Just like the brain computes but not via Turing Machine.
What do these languages do when you accidentally miss a branch in you decision tree? Is there any lexical or static analysis error, or does it cause a runtime error or implicit null return when you hit the actual missed condition? I think these differences in potential outcomes are what guide many of these cultural rules of thumb in different programming styles.

In imperative programming, a bunch of nested conditionals can easily have incomplete coverage of possible program states, and it can be easy to overlook problems if you have a mixture of side-effect branches and early returns. I think some people struggle with this more than others, and it can flummox them almost like goto-laden spaghetti code.

Of course, there are other areas where similar errors can occur in different languages, i.e. in exception-handling or pattern-matching constructs. There are many different coding styles which can make these control-flow structures easier or harder to debug. But, I think there can also be a lot of "cargo culting" where zombie rules of thumb continue beyond when they were really particularly helpful.
Retro on a generic Go test assertions library
ABC - Always Be Closing (on the sale)
People in Madagascar would answer differently.
There's (mostly) a distinction between single family homes and condos (though high-end condos can have significant costs even if shared as well in addition to condo fees). But, yes, something on the order of hundreds of dollars per month should probably be budgeted to keep a single family house in steady state over a significant period of time.
https://twitter.com/JimmyPatronis/status/1578050503279316992
It's interesting to see what the different levels of compiler optimisation produce.
I've used this approach a lot, although I prefer Unpoly to htmx. On my last project I paired it up with Alpinejs for the 100% client side interactions, leaving Unpoly for the use cases where I would have needed an API call in the SPA world.

I'm convinced 90% of the stuff we build out there should be built this way. It's so much easier and there's tht nice feeling about not being standing on tons and tons of overengineered tech. The last 10% on which I'd use react or similar are offline first apps or things such as figma, etc.
Can TikTok take over the podcast world?
Users are using Tiktok to explore content (podcast included). Why do I have to exit Tiktok in order to listen to the full podcast episode?
Ask HN: In C, how to map void* to int propertly
Quick question. If we have `void` how can we translate it to `int`.

For example this:

`static void dfs(SccGraph graph, LinkedStack* stack, bool* visited, void* v)`

I need to mark `v` as visited but how can I quickly convert `void` to `int` so I can mark `visited[(int) v] = true`

I can convert `void` to `int` with a cast but then I need to make sure the size of the `visited` array is prime and not any `n`. Not sure what is the right way to do this.
In Norway you are not getting Tesla FSD.
I'm reminded of this paper[1] which uses Bayesian optimization techniques to optimize chocolate cookie recipes.

1. https://static.googleusercontent.com/media/research.google.c...
Rentier Capitalism rewards sociopathy.
And likewise, it seems silly to blame heroin for people being driven to use it. Heroin ain't exactly a recreational drug; people turn to it because they're in extreme suffering, be it physical (due to health issues) or mental/emotional (due to socioeconomic hardship), and need an escape. Addressing those concerns would address heroin use (and swaths of other issues, like violent crime).
> Because we have an overabundance of housing for one.

I've seen this canard so many times it physically hurts me.

I don't know where you found this so it's hard to provide specific debunking so I'll just go over all of them.

1) The houses aren't where people actually want to live. There is a lot of vacant housing in dying rural towns, mining sites, or the middle of nowhere. So unless you have a plan to get people to move to Buffalo-Butte then available housing there may as well not exist.

2) The most of the "vacant" homes aren't actually vacant. Depending on how badly the stats are gathered they will include a lot of garbage. Let's look at the list of things that considered vacant:

- Houses on the market for rent/sale
- Houses that have been rented/sold but not yet moved into
- Houses that unfit for human habitation
- Houses undergoing significant renovations
- Houses that are used seasonally

That's right, if your house burns down the still-smouldering rubble is considered vacant.

There is just not enough housing where people want to live. Objections like this only get brought up when someone is about a half-step away from proposition house rationing. Not for them though, other people should have their housing rationed.
> primarily from an avalanche diode circuit,

Unfortunately, these diodes in avalanche mode degrade over time and it is unclear how stable the quality of the entropy derived from this analog circuit is over long periods of time.
I've been using mutagen for over 6 months now to sync over an M1 Linux VM. The only thing I miss is an option that would say "force everything from A" or "force everything from B" I've had rare cases where there were conflicts that I only could resolve by pausing mutagen and running rsync. But I appreciate that mutagen warns you and just doesn't overwrite silently like syncthing can do sometimes.
What is your point exactly? Please explain why is that bad and how the whole problem can be solved better - which lib or approach etc?
JavaScript FFI with no glue code
I wasn't aware of that. This is my first time assembling a PC after probably 10 years, and I remember TT when they were making (good) coolers.
Is your point that Supply & Demand set prices or not?
A bit unrelated, I've been learning ARM64 assembly out of the convenience of having an ARM machine.
It's also been pleasant, I've been planning on learning RISC-V next. The only device I have access to though is the ESP32C3, so I don't know how far I'll go with it.

Outside of decompiling some code on Godbolt, peeking into the assembly on VS Code, I've also been practising with Rust's inline assembly, quite pleasant.
May I ask why you find it fishy? I’m one of the maintainer of an Open source project with ~2000 stars and 50 issues [1] (some bugs, some questions and a lot of enhancement proposal). I don’t think there is anything strange in these kinds of numbers.

[1] https://github.com/Orange-OpenSource/hurl
visited[*((int*)v)] = true
The benchmarks will likely be highly dependent on your use case, but SSHFS-style virtual filesystems (specifically those backed by FUSE) typically have significantly lower performance than something like an APFS/ext4/NTFS filesystem that Mutagen could target with synchronization.

All of your readdir()/stat()/open()/read()-style calls will suffer significantly on virtual filesystems, and unfortunately these get hit a lot by things like IDEs (e.g. when indexing code), compilers, and dynamic language runtimes (especially PHP).

No tool is at fault in this chain, of course, it's a hard problem. Mutagen is able to offer better performance by being a little less dynamic and creating "real" copies of all the files on a more persistent filesystem.
Do you earn anything from this site? Even if you do, I can't imagine it's much relative to an Optiver salary. Why do you do it?
Draw Music with Words
Rather than an interstitial page, I'm thinking of overlay buttons (like Gmail has for attachments) for viewing info/the rest of the set/etc.

I like instant search better than suggestions/autocomplete. It also works with JavaScript disabled though not instant.
This is a hard. Books that made me a better thinker have to be the hard ones / ones that made me change. Top two would be

Prolegomena to Any Future Metaphysics, Immanuel Kant.
Supposedly more accessible version of Critique of Pure Reason but still very hard and mind-bending for me at least. Not just philosophy was easier after wrestling with this content.

The Structure of Scientific Revolutions, Tomas Kuhn.
Made me self-aware about what scientific thinking actually is.
J would be much more palatable if it focused on integrating itself into an existing environment rather than doing its own thing.

For example, say I want to the digits of 1000!

echo '!1000' | j9 -c gives '_' which is the greatest number.

echo '!1000x' | j9 -c gives some of the digits. | rev, gives ...8393650(...)

echo '(9!:37) 0 _ 0 1 \n !1000x' | j9 -c gives all the digits. | rev, gives 0000000(...)

echo '!1000' | ivy works as expected, but has a noticeable startup time.

Of course, J and only J works just fine internally with the second form.

On the subject of modules: Don't. If your plot program is so great then I want to use it, outside J. If its main feature is interoperability with an operability-hamstrung language, then to quote another commenter, "Pass".
Haha, WoW.

Okay, free sexting lesson #1; do NOT put your phone number into that site.
I would say the apples-to-apples comparison is with the original version of the Signal wikipedia entry, and that comparison is favorable to the draft page for Session:

https://en.wikipedia.org/w/index.php?title=Signal_(software)...
I looked into the blaster approach and decided "just no"; I ended up getting a Sensibo which is just an IR blaster that someone else has done all the hard work for, which seems well work paying for.
Advantage of mutagen is that it works on OSes that can't do sshfs. It felt faster too especially with a lot of IOs like node modules or other things that touch a lot of files. But I never ran a benchmark , it is so much faster by at least a factor 10 than whatever is in docker desktop when populating node modules that I don't even need a benchmark.
> for whatever reason.

For very good reasons. The circuit is opaque and vendor specific.

The OneRNG presented in the article is claimed to be verifiable, at the very least.

Intel and other chip vendors don't even bother making the claim.
Super useful tool!

Plus, it's multi platform. I'm using it to synchronize directories between hosts running macOS, OpenBSD and Linux. Everything works fine.

I haven't tried the Docker Desktop extension since I switched to Colima (Docker Desktop is constantly broken on Apple Silicon).
I love this. Having operated https://rietta.com for 23 years and counting. Maintaining links and pages that are no longer my focus but history would be lessoned to have them vanish. It goes through phases that I fail to tend to it properly and then rushes to catch up and “save the plants”.
Part of my confusion is also the social/community aspect, especially with Haskell hackers' frequent and negative attitude toward the enterprise, like Stephen Diehl who has become a sort of spokesperson for the "web3 is a farce (and worse)" narrative. It seems like such a stark juxtaposition, especially with SPJ and Lennart Augustsson, two research giants of the community, taking part in it in a serious capacity.

(To be abundantly clear and uncontroversial, as it pertains to this comment, I'm not interested in discussing "is web3/metaverse {good,bad}", but rather in discussing the purely functional programming community-of-community's interests or anti-interests in it.)
Mine is https://datacrayon.com
`v` is just a pointer a struct.
The point was correcting the factors which lead to women avoiding or not succeeding in STEM not creating an opposite bias.

Maybe a positive bias is still needed to tip the scale but we have to be careful of not drastically overshooting.
When we were office based, I had a few encounters with salesmen,who managed to negotiate entry into restricted areas of the building,etc. Once, I was walking past the CEO's office and suddenly this guy appears out of nowhere looking to speak to someone. I walked him out, but I always wondered who the hell buys from them when they just pop in like nothing.
I too can recommend A Place of Greater Safety. Really brings the French Revolution to life.
>Good software engineers are characterized by determination and persistence, thanks to which they can deliver effective and intuitive solutions to end users. They must have a rich imagination, be up to date with industry trends, read a lot, stretch their knowledge to the limit, challenge the status quo, and go beyond their comfort zone every day.

Now do the other roles around software and you'll quickly realize this is heavy idealism. And sometimes those roles are even paid more.