skysight-inc/HackerNews huggingface dataset:
If you are delegating broadly, you don't get to mandate the important decisions.

Trying to do those two is a clear signal of incompetence.
If you don’t want to listen to the music fast, there’s a button on your machine called Turbo. Toggle that off.
Turing complete means that any computation can be done within the system. However, there are many Turing complete systems that still can't do a particular thing because they lack the relevant input/output ports. For instance, Conway's Life is well known to be Turing complete, but you can't make it run Doom, because there's no way to input values into it from a controller of any type, and there's no hook-up for the Life simulation to output to a conventional display. (The latter might be theoretically addressable, but the former is not. Life is intrinsically defined with its whole universe specified at the beginning. If you create something that can take in "input" you've created a new variant of Life. Which would not be a crime or anything and may be interesting in its own right, you just wouldn't be working with Life anymore.) You could statically convert some fixed series of inputs into some particular Life initial state, and somehow give it a specification for how to "output" Doom internally, and then run that, but that's not really "running Doom".

The fact that you can embed any arbitrary Turing complete operation into the type checking operation does not mean you have the correct input and output operations to apply a Turing-complete dependent type system onto a Python program.

Now, I'm not saying it can't be done, because I'm not taking a close enough look to be sure, and underestimating motivated type hackers is not a smart idea. But my gut says the odds that you're missing at least one critical source of information or output action you'd need to make this work approaches one. Especially in Python, of all languages. Python's "primitives" are incredibly complex and full of capability and trying to constrain them via dependent types is not entirely dissimilar to trying to make a "safe" subset of Python, which has proved to be effectively impossible even with a great deal more access to the internals of Python over the decades than a type system checking would have.
Genuinely, nah. They are not that smart. Kids are not dumb either, but their are not sophisticated at all. They can lie, but very very few of them in any sophisticated way.
In practice that sounds like an excellent optimization, but in theory it annoys me that we're doing that rather than figuring out how to build better binaries.
Capitalism and market economy is all about degrowth. It's a system that tries to make same amount of stuff using less and less resources. Because of it, we get constantly more efficient, and can support a higher standard of living using less resources. It's a system where the most efficient survive.

Resource over-use is caused by government intervention. It's the governments who try to pump up their GDPs with various policies, which causes ever-growing consumption and resource use. They literally control the interest rates to get everyone to consume as much as possible.
It's not a difference. Take a look at proposed mechanisms of fan death, and consider, does that seem like a belief in the supernatural? Or a belief in a natural process that, incidentally, shouldn't actually be true?

People generally believe their own beliefs, and this includes believing that the way they think the world works is natural, not supernatural.
I found it funny that even large companies seem to be thrilled when then get put in some quadrant by Gartner. I have no idea why.
Tangentially related: I wonder what will happen in SF/NYC when more of the office leases have expired and the corporate property tax base erodes? How will the cities fund themselves?

Presumably by hiking residential tax rates and converting office space to residential, but the latter could take a long time…
I was wondering... does bluetooth work underwater? Perhaps by occasionally bringing the watch very close to the regulator?
Ah yes, the legendary UN*X hacker who never pastes into his terminal.
Those people are trash but again, tiny minority.
Put my neighbor's trash bins back around their house instead of on the sidewalk after the truck empties them.
U relax the Malthusian selection, u get side effects, simple as.
Nice, always refreshing to see these small web pages projects. Shameless plug, but I had recently started a search engine [0] with the goal of generating search result pages that are only a few KB in size, backward compatible (HTML 4), and only takes 1 HTTP request per page (no images, inlined CSS, base64 encoded favicon). It's surprising how big the page sizes are for the popular search engines, you would think these pages would be small, but a google search result page can be over 1 MB in size and take over 70 requests.

[0] https://simplesearch.org
I agree. To me, this sounds like the “smart guy” who if left unchecked will leave a trail of destruction.

If the business model is a simple framework where incremental tasks are assigned, consistency and risk management is more important than happy developers. If Bob is a true rock star, he’ll move on, which makes sense. In the meantime, the business has redundancy and isn’t impacted.
The Embeddings Company of Lisbon
Hey there!

Search in the web is becoming problematic. Quality is decreasing and competition is extremely hard.

Some time ago I came to the realisation that the biggest strength of Google might also be its Achilles heel. Google is forced to create a list of links because that's the main vehicle where they drive profit from. If you were to send a question like "Who is Barack Obama?" you still will get a list of links although google knows there is a canonical answer.

However, if you were to build a new search engine from the ground up you would need to build the infrastructure to crawl the web, crawl it, index it and build the interface. That will take a lot of money and time to test one idea. And there are multiple possible attack vectors to Google's business model (privacy, subscription model, modality, etc.). You might get the chance of testing one of them, and if that fails, starting again is super expensive so you might not be able to.

My idea is to have a single open web index database, continuously updated so that you can apply ranking and embedding algorithms to it. This would reduce the cost of entry, and enable developers to build competitors to google on top of it, or create new products in the search space (for instance, a search engine for clothes). I don't know if this is interesting for anyone but if it is, hit me up.
It hasn't been the same since around the time Andrew Orlowski left.

The politics (identity and anti-Trump reddit-style) stuff crept in too, especially from its San Fran office, but you could obviously just choose to ignore those articles. It's not something I want from a tech site though.

It's a shame, ElReg and Slashdot used be my go-to site for tech content.
Did anyone else click on the link expecting a rant about the soap protocol?
>Their only innovation compared to Concorde is the use of composite materials which is just not enough to hit their targets.

There’s been 50 years of commercial aviation development since the Concorde. Composite materials is only one thing on a list of differences between Concorde and boom.
If it could wash my dishes & do my laundry, if this was actually feasible, but that's probably pretty far off.
I never said it was a study. Politicians, movies by Al Gore, the 1972 and 1982 UN conference on the environment.

How about a study on studies not being reliable? https://pubmed.ncbi.nlm.nih.gov/16060722/
Why you might want a domain-specific database like TigerBeetleDB
> A CDBC will be fully electronic/automated with instant results and operate 24/7/365 at insignificant cost.

Why would CDBC cost less if it is an improvement in value over the previous systems of credit cards, checks, and cash? From the TANSTAAFL perspective, debit, checks and cash aren't free, the cost is explicit in account maintenance fees or hidden inside the difference in interest rates between what the bank gets and what the account holder gets, plus the capital costs born by the receiver in facilities to handle pieces of paper. Since the fees are the same regardless of transaction volume, credit card has an advantage for consumers in that it is pay as you go and eliminates the personal facilities for check and cash handling.

CBDC transactions would not be costless, the question is how much, and form: flat fee, percentage, other socialization/cross subsidy. The question of how much will be driven by the cost of the service plus the transactors' perceived value of service over other mechanisms.

Likewise CBDC would not be truly instant but would have certain latency. On the payor side, for consumers the latency is an advantage--receive goods and service now, pay at the end of the settlement period or later if you pay for that service with interest charges. Why would a consumer choose CBDC if it doesn't include the loan to float between the transaction date-time and settlement date-time?

I'm not certain what the doomsday claims are, but there are tradeoffs to centralization. For example, getting de-banked becomes a heightened threat if there is no alternative. As an example, I'd offer the status of vendors psychoactive substances legal at the state but not federal level or those offering politically unfavorable goods and services [0]. Similar to the state of unbanked people everywhere, the increased reliance on more liquid payment forms brings increased risk of criminal predation since other market participants have de-risked though reduced cash holdings.

0. https://en.wikipedia.org/wiki/Operation_Choke_Point
This.

And gather some intel while you can. Get a sense of where you might land in terms of position, pay bands, etc.

Then argue for level first (it tends to be less contentious than money) and if they agree, you've locked in a pay band.
Are you sure you've known several folks who each have a one-in-a-billion talent level?
This is known issue, at least of late. There was a recent article posted here (can’t find it right now on mobile) about how that New Car Smell is caused, to some degree, by known carcinogens.
While we’re on the topic of philosophy… I re-read Zen and the Art of Motorcycle Maintenance on my road trip to Montana last week.

I bring this up because it spoke to me in a way that Meditations seems to speak to others. Surely, there’s room for both, but the latter is still sitting 1/4 read on my desk. Maybe I’ll pick it back up next week.
So the author doesn't think we should do anything about climate change.

Really the rest of the article can be ignored, if that's the starting point. There are no useful ideas to be found.
An interactive TypeScript tutorial for beginners
This is the piece that complicates my thinking about CDBC and digital transfer systems. What UPI does is seamless and instant transfer of Indian Rupees between parties and it is widely adopted. So why would India need, or benefit from additional CDBC? I can see how CDBC's instant transfer scheme would benefit the US which does not have digital transfer systems that are both instant and close to zero-cost.
This is an excellent addition to HN and I hope that devs and product managers alike see what happens when everyone tries to do as little as possible without taking the time to understand the bigger picture or even the underlying problem.

This could have been solved so simply at any step of the journey.
SAP plays the long game.
Friend of mine worked in Uganda to introduce a mobile coffee-farmers-(over-lots-in-between-steps)-national-(to-international)-markets app.

the goal was to create some transparency for the producers and to fight coffee-loss (every step taking a bit coffee away and sells it otherwise).

the project was a huge success. With fast adoption and immidiate benefit for the farmers and village collection centers.

the software behind it is SAP! and they do not even charge for it, they sponsor it - together with Deutsche Entwicklungszusammenarbeit.

Why?

Even though Uganda is not yet a profitable market for SAP.

And not in 10 years.
And not in 20 years.

In 30 they might.
> Patreon is where the users are. I've evaluated other platforms, but at that point I'm probably going to come up with my own thing on top of Stripe if Patreon falls over. I'm kinda low on ideas on how to make such a migration palatable otherwise.

Theoretically it shouldn't be too difficult to periodically charge people and then send this money as a single sum periodically. This is done by companies all of the time. As it's one person you can cut out a lot of the complications.

> As a corollary, if credit card information was actually pwned, it's not like people can do much about that either at 10:30 PM EDT on a thursday after the Queen died. The financial system is gonna be kind of tied up. Two factor auth is a more actionable step that can have measurable security benefits. If it really is a credit card pwnage, that's a big enough problem at Patreon's scale that individual actions can't really do anything. It would need a systemic response.

Patreon just fired their entire security team, they may not be well positioned for such a scenario. 2FA is of course good to have but I somehow doubt accounts have been compromised in this way (if they have been compromised at all).

I suspect that although the Queen has died, financial systems continue to operate near normal (minus the stock market).
In this case, the third party company is tiny. And they keep screwing up. Even something as simple as right to left language translations they can't get right, even when we walked them through how it should work and shared code with them.
Cloudflare explains why Kiwi Farms was its most dangerous customer ever
Well yeah sure. But I often just jump in in random places and I don't might skipping over stuff.

I listen to the audiobooks to fall asleep or if I don't want to start something new. When you have like 10 books you want to listen to in theory but can't decide, listen to some Wheel of Time.
Yeah, I did. The previous WASM-4 Jam had Zig and C tie at the top followed by Rust. Other languages also had more representation than in this last one, maybe also because of a greater overall number of entries (44 total).

https://youtu.be/7ydnjX999kk?t=894

I also think that there is a correlation between the majority of participants being from Europe and Zig. At the moment almost all our meetups are in Europe.
One thing I might suggest is find out what open source products your customers are using and get Bob to contriubte to those products from his corporate account on behalf of your company. If the projects are related to the company's line of business it will increase the firms profile hugely, and make you the go-to company for those customers as they can't afford not to choose your expertise that they already depend on.

Your company's revenue is part new business and part renweals. The open source product will be a funnel for converting the FOSS users to new customers, while locking down renewals in those customers who use projects he contributes to.

Figure out your customers' stacks, and then pitch Bob on contributing to key libraries and technologies that underpin them.
How a new hard hat technology can protect workers better from concussion
Ask HN: What's your favorite software-free keyboard and mouse?
I've lost all patience with Logitech. I currently use their mechanical keyboard and the new version of the MX Master mouse. The hardware is good, but the software is obnoxious. It's not unusual to see 5 or 6 Logitech processes running. In my opinion that's ridiculous, so I'm looking for good replacements that require zero software.

What's your favorite (software-free) keyboard and mouse for programming?
Every point in the article is obvious. As a script kiddie pasting stuff from the internet (including stuff from the victim's website) back in the day, I was acutely aware of the fact that you can't paste something and hit enter anywhere ever (unless you strip out ', but even that isn't very reassuring given that the shell probably has undocumented edge cases as well as other problems at other layers such as the terminal [1]).

Anyway, shells are dumb and dangerous. A real interactive language should simply have a text box for text. I guess I could write a usual 10 paragraph rant on this but it really is that simple.

1. Day of the seal soon.
If comments opposing fascism are not suitable for this site, surely posts eliciting broad support for fascism should be subject to similar restriction?

If HN is choosing to continue to platform a discussion on a politically loaded topic such as this, then either anti-fascist sentiment should be permitted, or neither.
> The population hemorrhage is impressive: between July 2020 and July 2021, New York lost more than 300,000 people

Maybe because that was the height of the pandemic and the city was shut down? Judging by the astronomical rent increases, even more people moved back.
Carousel of Happiness
Resume padding for managers and executives:

"Successfully lead SAP implementation bla bla bla saving bla bla bla streamlining bla bla bla"
There is a good reason not to have a monarch right there.
An alternative to ACH need not push the technology down to the consumer but leave it at the interbank level.
As someone who has also worked with Microsoft Dynamics - mostly the other products, which are IMHO at least an order of magnitude more complex from NAV/BC - you can customize it heavily, but the high complexity will get to you. Some things are actually rather difficult to do (e.g. anything to do with Ledger or BOM calculations).

Adapting Dynamics ERP to business process is a challenge of its own, and not every company can do it. At least it's possible in Dynamics, SAP is a mess - most customers I know with SAP have to use external software and import/export for significant customization.
> Are you speaking slashing condition detection

Correct - the decision about when to slash
Patreon security team layoffs cause backlash in creator community
You're going off-track. Neither GP nor OP are talking about a person emphasizing their own productivity. OP is only "look at Bob being productive, how do we handle it" and GP criticizes your first reason to be critical of Bob. Not sure why you're inserting the whole "appearing to be productive" assumption here.
Eh if a car company could only stay in business because they had giant Coke ads emblazoned on the sides of their cars I wouldn’t chalk it up as a win for the company.
Getting started at SETI: Suddenly the chart recorder started banging off scale
Exactly. You can't compare taxes across states if you're only including income taxes but excluding property taxes. Texas property taxes are ~2.5% for me (and they adjust annually), while CA property taxes are (famously) capped at 1% of the purchase price.
One of my beefs with mobile gaming in general is how difficult it is to find games that don't feel like gambling. A large portion of even the "non-gambling" games are still gambling under the hood.

I worry that typical mobile games are going to serve a funnel towards gambling for the kids who are growing up playing them. Like flavored vapes function for the tobacco industry.

Of course, that makes me wonder what the games I grew up on funneled me towards, but it seems like just maybe Mario games didn't have any ulterior motives beyond making you want to play more Mario.
Those and and a select few other cities are still the best places to live in the US for young adults - as is reflected by real estate prices.
Mow the lawn, empty the trash cans, scrub the toilets and kitchen floor, load the dish washer and laundry machine, stock each bathroom with toilet paper, cut my hair (every two weeks or monthly).
Reminds me of Rich Hickey's sabbatical he went on to make Clojure. It cost him this retirement but he was able to improve much more than just his own development experience. That's probably the real reason for entrepreneurship. Why go after "spiky", unstable cash flow and burn savings? It's got to matter for other reasons too.
I used this about a decade ago. No complaints.
https://github.com/q2a/question2answer
Woven Planet L5 | Self-driving Research | Palo Alto, US & London, UK & Tokyo, Japan | Full-Time + Interns | Remote & Onsite (Hybrid - 2 days in p/w)

Woven Planet L5 develops real-time car automation solutions via applied Machine Learning and Computer Vision (SFM, SLAM, 3D Perception etc). The system is adding self-driving capabilities to vehicles with the end goal of providing autonomy features to all cars from the largest car company in the world, Toyota. For more information please read through https://www.self-driving-cars.org

The platform at L5 is written in Python & C++. We are an AWS environment with additional use of NumPy, PyTorch, gRPC, Kafka, Kubernetes, Terraform, SageMaker, Spark, Postgres & others. We work in a OneBox cloud environment with continuous deployment and are firm believers in the benefits of open source (https://github.com/woven-planet/l5kit). We apply multiple flavours of ML to petabytes of data; such as Deep Learning, Transformers, Neural Networks & Reinforcement Learning.

If you are interested in applying Machine Learning (ML) to real world data - look no further. https://www.self-driving-cars.org/datasets We are also building a real-time OTA OS upon which all the autonomy software will run on. This work is a combination of Toolchain, Compiler and Embedded C/C++. Find out more about these roles at https://www.woven-planet.global/en/careers

If you like the idea of working on some of the most challenging problems in applied computer science. We are looking for talent across Data, Computer Vision, Machine Learning, Infrastructure, Research - and of course Software Engineering. Please find our jobs at https://www.woven-planet.global/en/careers
The course is unfinished, I'm working on it.

Definitely, it is not low-effort. I'm writing code for SaaS app and describing it in the tutorial. It is quite a lot of work.

The text on the website might be better, I hope I will improve this one.

There are many people looking for advanced tutorials, not simple todo apps. This course is advanced. It shows how you can build a full SaaS app from scratch. Additionally, there are instructions how to deploy/update app in the cloud.
Type hints might be Turing-complete, but I don't think it is Turing-complete in any practically useful way.
Causality Is an Underrated Concept
I have no experience of your situation but I think you should perhaps start by negotiating your level and title as an employee as part of the acquisition. I suppose that what's achievable is correlated to the size of your startup.

Whether you join as, say, Director or VP will have a direct consequential impact on your salary (you'll automatically fall within different compensation bands) but also on your standing within the company.
Chat clients as TPS devices. Wonderful.
The packets (or, at some chains like Whataburger, little cups with a peel-back top) are for your fries. The burger comes with ketchup already on it.
Weirder is what happened to its successor theinquirer.net? It was bought and then erased. Who does that? Was it a copyright thing?

Otherwise theregister hit that brief window between professional magazine publishing and every teenager with a phone becoming a tech blogger, the brief window when website publishing was cheap but not yet overcrowded.
There is a lot of "bro-science" out there concerning autophagy for sure, but it is definitely a thing. Yoshinori Ohsumi won the Nobel Prize in Physiology or Medicine in 2016 for "his discoveries of mechanisms for autophagy" (https://www.nobelprize.org/prizes/medicine/2016/summary/).
I'm pretty jealous of prop 13, ever increasing property taxes is brutal.
A more apt comparison would be you enjoying a drink in your own home (your server) and then because kids starting playing outside you'd be banned from your home for drinking there. Forever.