skysight-inc/HackerNews huggingface dataset:
this seems like a melange of two polar opposite things, but i can see their common goals.
I know it's a meme but your life really does improve by deleting social media.
Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT”

This is in the power of the submitter since the submitter is the author of this piece.
100% accuracy will never be achievable. What might be achievable, though, is a higher degree of confidence than we currently have. Of course, the correctness of algorithms should also have to have a computer validated proof.
It refers to the theoretical dimensions that a planar transistor would have to achieve the same density. Nobody uses planar transistors these days. Instead, 3d multi channel transistors are being used. The number is supposedly referring to the gate length of the theoretical planar transistor. If your transistors can reuse the same gate to drive three different channels, that means the effective gate length would be one third but once you open this can of worms, the numbers can be chosen arbitrarily to mean whatever you want.
Maybe .. Possibly. Could you rewrite Pytorch in SQL? Have you heard of Alan Turing or nah?
I think on the surface I agree. Hate mobs doesn't sound great and death threats are simply illegal and should be prosecuted.

If it is in fact all lies etc, then sure. But, I do think this is often exaggerated, and a lot of times "start a conversation about incredibly nuanced topics" might not be so nuanced and in fact hateful, look at dog whistles for example. That there is no tolerance for intolerance is kinda necessary (paradox of tolerance). Idk the case you are referring to so can't say if that's relevant to this situation or not.

I do strongly disagree that people suck. My experience with people is that generally they mean well, try to live their best live, and wish well on others, even if they might disagree on some things. A good test is to just think about the people you interact with day to day in real life, not tv, not twitter, not whatever. That's reality.
EDIT: The following is not not incorrect.

They mean the same thing.

> No “real programmers” write code in Assembly.

Scare quotes for sarcasm/inflection.

Would be better and more idiomatic as a singular noun.

> No, “real programmers” write code in Assembly.

The pause here just marks an interjection/response to something else. But it means the same thing (scare quotes and all).
That's not really a fair comparison, ad blockers don't help with rankings. You might not see literal ads, but Google will still serve you more SEO garbage than Kagi, which is IMO better out of the box and also allows you to uprank, downrank or block certain domains from results.
Show HN: I indexed 1.3m+ email newsletters
I am a happy user but just checked my usage and I'll need the 25$ package - which I think is too much for search. I'm cancelling unfortunately.
If you give something to support your point you can theorise it. If it's just in your head then it's just plain ol' racism :)
According to Wiki, the technique was invented in 2005 by Casey Muratori: https://en.wikipedia.org/wiki/Immediate_mode_GUI
If your object is roughly the size of a wavelength or less, it can siphon off power that would be a few wavelengths away.

So a bacterium might be able to annoy their neighbor. But that's about it.

If the sun was in some kind of equilibrium with stuff around it (ie. There was a big mirror acting kinda analogously to a ground plane) you could effectively cast a shadow much bigger than yourself.

But that's about it. Visible light is very small.
That's partially true, but fortunately not completely. There are widely use open-source screen readers for Windows and, of course, there's no proprietary screen reader on Linux.
And, definitely, there are standard APIs which are used to communicate the accessibility tree between an app and a screen reader. Yes, they are specific for each platform, and Windows has multiple of these, but they are standardized at least for each platform.
> work this out as all of the screen reader tools are expensive, proprietary, and there are no standards.

ARIA is a good start, and screen readers built into the OS are a good start.

Moreover, major OSes have accessibility APIs that screen readers will use:

- MacOS https://developer.apple.com/library/archive/documentation/Ac...

- Windows: https://learn.microsoft.com/en-us/windows/apps/develop/acces...
Ah! The "Vim everywhere" phase. We all go through it at some point. You will eventually get over it.
To me, the weirdest thing about this is that the US already has total government surveillance and all the massive issues that come with that. Then instead of just using that, the FBI play this weird game of paying for the same data privately. It's like watching the Army rent tanks when they have 1000s sat in storage waiting to be used or something.
yea, and next thing carriers want 'subsidizing' from every content provider and internet (as tech ppl know it) is relegated to an unmaintained dirt road.
If you switch to annual billing now then you'll get a year of the old rates for $120. That's what I just did.
When I read BIPOC, my brain goes to "bisexual person of color". Every. Single. Time.

Actually as I'm writing this I still draw a blank what it's actually meant to be. But Americans love their acronyms.
I'm curious, why even have the 10 year expiry cutoff? Is there a regulatory ask that this be the case, or is there logic I'm not seeing?

Hindsight is ofc 20/20, those contracts have long since been set in stone, but I can't help but think Stripe (and maybe other future companies) could have saved themselves a $6bn headache by not having the expiry in the first place.
Not true, even if you add Rust. egui was released earlier: https://github.com/emilk/egui

And egui isn't tied to Apple proprietary frameworks.
I'm unsure how stripe is only making 0.38% on transactions, given at least in the UK they are vastly more expensive than other providers on their public pricing.

For example; stripe charges 1.5%+20p for UK cards. Revolut charges 1%+20p for online transactions, 0.8%+2p for in person. I'm sure other providers charge even less than this but they don't make the pricing public easily.

Ayden is perceived to be a lot cheaper than stripe too, so I am surprised they are only getting 20bps more.

What am I missing here? Are margins a lot tighter in the US market, and stripe is extremely US focussed (one possibility?), or are Stripe giving really heavy discounts for volume which really drags down their marigns?
> the only problem here is that you're faced with a hundred or a thousand different alternatives for how to learn to program.

This is a well studied and absolutely serious issue called decision fatigue [1]. You seem to be downplaying it's consequences by a large margin, most likely because you do not understand it.

https://en.wikipedia.org/wiki/Decision_fatigue
Thanks for the suggestions! Unfortunately, logging in with a browser gives me the message “confirm your info using the Instagram App to try to get back to your account”. Meta support assures me my account is in good standing, so I can only assume this is a bug.

I’ve unfortunately also tried VPN, as well as logging in on other people’s phones in different locations (including overseas).

I wish I didn’t have to move to Europe just to delete a social media account.
Ask HN: How much do you value reverse engineering skills when hiring?
It seems like there’s a trend from big corps to hire engineers who can grind leetcode. But I’ve seen another trend that I think is much more powerful: hiring people who are good at reverse engineering. I’m not talking anout binary RE, rather being able to look at some spaghetti undocumented code and figure out what it does or add tests and refactor it
I find the pricing more annoying than anything. I'm a paid user and I've never come close to using more searches than their claimed cost (which admittedly I don't understand fully, is it just the marginal cost?) So I could probably pick a lower usage plan, it's just one more thing to think about, like back in the days of having to decide which phone minutes plan is better. It sows confusion and doesn't benefit the customer. Maybe they should add a "my five" top searches that are free.

I know people will say it's not a big deal, but it's more friction.

Also as I've said before, I have no interest in paying for any of the "AI" features. I haven't looked closely enough to understand if these costs are baked into search query costs now, but any suggestion I have to pay to have Eliza read me my search results is a dealbreaker for me.
India also has jobs that pays a similar wage compared to the rest of the population. But these are more outliers than the norm. Europe doesn't seem to have that many options at upward mobility, even a salary of 80,000 euros seems paltry when compared to the housing crisis across board, inflation and the general lack of innovation when compared to the US or China.
1) Contemporary immigrants generally come from countries with lower IQs and 2) they reproduce more. The web is full of citations of what I said should you require them.
>It prevents circular dependencies between .h files and doesn't inflate C++ build times because of careless including the same files over and over again.

Ah, the C/C++ modularity story is such a monstrosity... but modules are coming, and the build times are drastically decreased.
I won't be cancelling now as I seem to be averaging a bit more than 1000, meaning pricing will stay about the same since I should get the early adopter subscription.

However, the "average amount of searches" they're stating really can't be accurate for any tech savvy user who is using it professionally and privately. It really has to become cheaper, if it doesn't I sadly don't see myself using it long-term.
Show HN: Ensō – divergent thinking writing tool
It'll be boring dystopia shit that will spy on you and phone home with dull data like when and where you opened a packet of chips for marketers to sell to marketers so they can sell ads that get shown to robots. But this time without needing to contrive a reason for you to keep it charged.

Plastic packaging. Now with gallium arsenide!
This is an 8 year old demo of a SHARP Memory Display, for those like me who didn't know exactly how it looks: https://www.youtube.com/watch?v=VmronCahqd8

The fast response time is the key, I was expecting it to be like an e-ink display!
I should have mentioned that I am aware of Apple's deprecation notice in the release notes. But the note refers to Xcode 14.3 Beta and doesn't say that Xcode 14.2 couldn't be used to build x86 Simulator builds anymore.

With regard to your suggestion: I have a complex client project setup that I cannot really tinker with a lot. It worked with Xcode 14.2 prior to the installation of Xcode 14.3 Beta (in addition to Xcode 14.2). I am afraid what you suggest is not really an option for me.
The tools are not ready. Using proof assistants isn't possible in many areas of maths as the foundational concepts have not yet been built up from fundamental primitives. Even when it is possible, using proof assistants takes far more work, and the proofs are much more verbose and hard for humans to understand. The tools will be ready when the concepts are available for any subfield, when the results are easy to read, and when it takes a reasonable amount of work (ideally it will be faster than doing it by hand).
nobody in our lifetimes is going to scan a single /64 of IPv6.
We have the same thing here in the UK: HS2 has been rerouted around areas whose MP did NOT want it, and extra, pointless, stops added for places that insisted. Increasingly I feel like these projects should be run by an elected dictator: Approve a budget and general outcome targets and then let one manager run it WITHOUT constantly having to fight every legislator, municipality, etc
google kinda has a track record here
ImGui is at least only used for debug rendering, not something that makes it to end user. At least in the small subset of companies I worked at.
Could it have other causes such as pollution, PFAS, microplastics, hormones in the water supply, less physical exercise (which is linked to brain growth) …?
Many people in other fields feel similarly. Bureucracy, bad managers, bad working conditions are not limited to tech. But, on the other hand, great salary is more or less limited to tech, and a few other sectors.
I'm not sure your comment helps in clearing up the confusion.

> 1. Stripe has to pay $3.5B in taxes. This is unrelated to employee stock.

According to the company that $3.5b withholding tax ($2.3b this quarter, $500m in Q2-Q4, $700m next year) is very much related to RSUs.
IIRC, LÖVE is mainly written in C++ and uses LuaJIT, which has a great bidirectional FFI interface on top of being a tracing JIT compiler.
> Most CI environments give you a "clean environment" at startup.

Yeah, it was partly that which made me wonder if just removing that would help a lot. Seems weird to keep a clean fresh CI setup and not have that in production

I understand handing off the scaling issues to someone else. Perhaps this is the difference between the "best outcome" and "best solution" as the latter takes into account what already exists.

K8s does some optimisation on image layers but my knowledge there is fuzzy.

Perhaps this is the best solution given the constraints, but it's a shame that the fully supported layering system in docker needs to be recreated essentially due to two services throwing away lots of useful data. A container runner that stops your container, pulls the layers and restarts it would only have the container startup time itself - which is extremely small - and keep everything separated.
Help migrate a community from Discord to something else
Nope it is not https://www.pnas.org/doi/10.1073/pnas.1718793115 declining IQ can observed within family.
The Conference Board Leading Economic Index (LEI) is an economic indicator that aims to predict changes in the direction of the overall economy. The Conference Board uses a statistical technique called “factor analysis” to combine these ten indicators into a single composite index.
I met Ed (randomly ran into him) at a Buhddist meditation retreat. Hi Ed, if you're reading. He was concerned with how time seems to go much faster as we age. When I found out he was ex President of Pixar and knew Jobs, I felt intimidated and kind of acted awkward from that moment on. It wasn't about being around wealth, but being around brilliance.

Later on, I tried emailing him as he had invited me to do so about my hypothesis that the neurons that produce the perception of time start firing slower as we age so time seems to be moving faster (a lower-resolution sampling of time, like a skipping stone arcoss a pond rather than through it moving much faster) He never replied.

Then I emailed him again to congratualte him on his receiving the Turing Award, a year later, and once again no reply. I felt even more awkward for emailing him twice.

Reading this complaint from his co-founder, I surmise that Ed may not be very good at maintaining relations. A bit disturbing to hear that he omitted his co-founder from being mentioned.
We can argue back and forth about the definition of power. Right now, ML has had very little actual impact. And it is very far from the sort of "skynet" general intelligence that people are afraid of. Those are just facts.

Personally I view it as no different to the hype over crypto or the fact we get a huge breakthrough in fusion every 3months but somehow never get any closer to an actual commercial reactor...

Meanwhile, we KNOW as a fact that climate change is going to be devastating. And there are numerous areas with nuclear wars brewing from far east to Europe.

I get that a super AI is a more interesting thing to worry about. But we need to deal with out actual, serious, issues first IMHO.
Many interviews center on “can they write code in some some trendy style”. It’s some combination of basic literacy and fashion. Employers are clearly looking to commoditize programming in these cases and are willing to burn money doing it, because it seems a large portion of corporate developers cannot write original software. Worse, that is easy to fake by asking AI basic literacy questions.

If employers really wanted to hire people who can actually write software interviews would be a conversation stepping through a process to solve a complex problem. Examples of complex problem spaces: Performance, Accessibility, Security, Transmission Control.

From the perspective of the candidate the quality of questions and candidate filtering indicate whether the employer is just trying to put bodies in seats, jockey configurations, or advanced copy/paste. Writing original software isn’t that hard, but it does take practice most employers won’t provide.
I got sucked in by Obra Dinn, but at one point I kind of got stuck with no path forward and fell off. A touch more linearity might have been nice.
It'd get very onerous for the consumer to keep track of all the deceiving practices that every business could throw at them if we go down that path.

You are basically stating that it's the consumer's job to know when a marketing tactic is deceiving them, that simply doesn't work in a society... Or why do you think there are consumer protection laws?
I remember than in 2017 there were rumors that Intel was developing a novel microarchitecture from scratch to beat AMD and it should be out in 2020, did any of that pan out?
The difference in privacy I see between Kagi and Google is that Kagi requires me to have a signed-in account to search, and Kagi accurately associates more valuable information with a signed-in account.
Gmail "Schedule Send" feature is good enough this use case :)
Afaik egui isn't doing any kind of the fancy GPU based 2D graphics this blog post is about though.
> I keep change in two (usually) unlocked cars as bait.

Round these parts you would return to your car and the window would be smashed.

> Check out ... sites like Nextdoor some time

Highly reccomended - but dont go alone, take a support person with you to pull you back to reality after a few minutes, it is a truly horrific place.
I'm sure an explicitly conservative site called "campus reform" will take an entirely scientific and unbiased approach to education theory rather than using it as a pretext for some weird anti-woke project.
Also worth noting that in today's market a company like Stripe isn't paying significantly below market rates, so there's not huge downside in that regard.
ChatGPT and LLMs work poorly when you want accuracy on something obscure, and work really well when you ask it how to do something that many people have done or are doing.

Thing is, many people - probably the majority - work on just that. They aren't looking for answers to challenging issues like your question where 'Google searching hasn't yielded answers for', they are looking for answers to questions where google and stack overflow does have thousands of results for similar, potentially related scenarios, and want something to summarize or filter it into an usable answer, and ChatGPT provides that option. When the official documentation provides all the information in a poor format so you can't just search for the answer, ChatGPT can extract an answer from it. Not "some starting points for learning more about some well known topic" as you say, but rather some "digested, complete, specific result from a well known topic to avoid having to learn learning anything more than strictly necessary for the outcome".
Despite Occam's Razor, I will suggest the answer could be both poor education and health issues of the sort you list.
Defer: Zero infrastructure Node.js background jobs
Oh. I didn't realize that they would not be grandfathering-in existing users until I read your comment, believing their earlier statements. Confirmation bias is a hell of a drug, but it made sense after I read it again. Thanks for that.

> Every existing subscriber will have their current subscription honored until expiration. That means if you are a subscriber at the time of the new plan rollout, you will still get unlimited searches as a part of your original plan until your existing subscription expires or is set to renew.
That’s the “monopoly on violence“. The government isn’t equal. They hold the monopoly on violence, until they get so far out of line that the people take it back. The only open question is how to prevent that from happening.
On the other hand, one month of tech is probably equivalent to 6 months of ubering? May be less or more, depending on the actual job. So, instead of driving uber for 6 months, just do a tech job for a month and then heal and recharge for five. Of course, this has to be amortized over time, but that's what I've basically been doing for the past 20 years.
That’s odd. I remember using it in the 90s. It’s the obvious way to do things if you don’t like small objects.

(Also GPUI seems to be retained, so completely unrelated.)
The pandemic?

Heck, even plain old mean reversion - the site mentions the Flynn Effect, an unexplained gradual increase in IQ scores; there's no guarantee that such an effect should continue forever.
Good to know, it might be me putting such thought in his mouth then!
Location data derived from anything else on your phone, absolutely.
Would be nice to see any evidence whatsoever. At this point this is very likely just trolling.
Thanks for the replies. I could keep picking your brain, but maybe it's more efficient for me to read some documentation. Are there some design docs or FAQs or summaries of the execution strategies that you can point me to? Thanks.
I don’t agree. Should a police officer have the power of execution?
The Rust GUI ecosystem looks particularly promising in that regard, because there is a foundational accessibility library called Accesskit that's being incorporated in several UI frameworks (egui being the first one to have it already but works is underway do add it in several other places)
Ever heard of East India company ?
What’s wrong with looking to get rich as a reason to join or start a company?
Smart doorbells are the (currently) acceptible version of a constanly twitching lace curtain.

curtain twitcher

someone who is very interested in what their neighbours (= people who live near them) are doing and tries to find out by looking out of the window without being seen:

https://dictionary.cambridge.org/dictionary/english/curtain-...
I was more perplexed by the usage of the word "dilemma" in the previous sentence, to be fair.
I'm not here to do the research for you, to foster the discussion I'd like to have some sources, dumping the work on me for finding your sources is extremely tiresome.

Provide something to foster the discussion, I'm not here to do your job.
Also, the good gigs are never in the super-optimized meat-grinders, such as Uber or McDonalds or Amazon warehouse. The good gigs are in places like the local city museum that almost on one visits, or being a personal driver for the mayor. So, basically, in places which don't care about efficiency that much. Of course, they're not trivial to find, and require some social capital (knowing the right person) to get.
> They mean the same thing.

What? No, they don't. The first one means "There are no real programmers who write code in assembly", in other words "Real programmers don't write code in assembly", while the second one means "Real programmers write code in assembly". It is very literally the exact opposite.
Lucille Ball very famously told a story on the Dick Cavett show about hearing radio transmissions in her tooth fillings in 1942 and it leading to the capture of a Japanese spy station. [0].

While the story seems a bit far fetched, having fillings act as diode rectification of an AM signal that is then conducted into sound via the jaw is completely real and has happened to many people, particularly moreso in the past when people more often had metal fillings and very powerful AM signals were more prominent.

[0] https://www.youtube.com/watch?v=M-Mhl42bu1s