skysight-inc/HackerNews huggingface dataset:
That's exactly the rabbit hole I'm in.

I love immediate feedback but getting it ranges from hard to neigh impossible. E.g. I have a complex Emacs setup for rendering Pikchr diagrams, but there are a lot of problems to solve from diagram conception to the end result, so I thought, hey, why not make my own cool RT editor - in Rust obviously.

Unfortunately I learned that GUIs are though problem especially if idea is hobby-based so there's only one developer inside. Ultra responsive GUIs cool, I have a prototype in egui (not sure if that's as fast as Zed's premise but feels fast nonetheless) and yet it doesn't support multiple windows, which I wanted to have.

120 FPS with direct rendering sounds AWESOME just for sake of it, but I believe that for the end-user layout will be more important than refresh rate, and that's different beast to tame.

Personally I "almost" settled for Dioxus (shameless plug: [1], there's link to YT video) and I'm quite happy with it. Having editor in WebView feels really quirky though (e.g. no textareas, I'm intercepting key events and rendering in div glyph-by-glyph directly).

[1]: https://github.com/exlee/dioxus-editor
It’s hard to make a cross-platform UI that way.
Replacement for the ONNX IR perhaps, but as far as I can see there is not (yet?) a file format for StableHLO (ONNX has a standardized on-disk format specified in Protobuf)
Full text:

> Order History Reports will be unavailable after March 20, 2023
>
> You can continue accessing your order history on Your Orders (https://www.amazon.com/gp/css/history/orders/view.html/ref=o...).

The main use of that report was trying to sum-up the lifetime Amazon account spent.

Also picked up on Reddit: https://www.reddit.com/r/AmazonVine/comments/11je48z/fyi_ama...
I think most people can intuit it, they just don't have the FP lingo. I still don't understand what a newcomer would expect that piece of code to do.
My Backup Strategy: How to avoid permanent data loss
If you want to support FOSS developers, you should try librapay.
It was quite a fun time programming under DOS as a kid and working with interrupts from either assembler or dos.
>> There is a big difference between 80k jobs created by the government and 80k jobs created by the free market.

So let's start with the obvious - I was not trying to propose "big government" as a solution here, sorry if this was not clear enough - I completly agree that using government as a substitution for private ownership mostly does not work.

My main point was "power accumulation" in hands of few or even one. Elon Musk is good example here - his accumulated wealth give him real power to decide what life of thouseds of people will look like (for better or worse). You may claim that this is not politcal power, but it still is power nontheless. And thus lifes of thousends wages on his mental state which at any moment can go full Caligula.
I know this will sound idealistic .. but I do not like to live in a society where we leave so much power in hands of one individual. This also applies to politicians.

I know trying to solve this problem will probably throttle economic development but as lord Farquaad said "it's a Sacrifice I am Willing to Make" :).

>>Those 80,000 jobs may not have a social impact as far as moving the world in the a desired direction but what jobs do?
>>Does a plumber? A teacher? What if they are not teaching what the party in charge wants taught?

This sounds a bit nihilistic - extrapolating this line of though leads quite easyly to conclusion that nothing matters (and as Camus has written we are then only left with one important question to answer).

>> Are we going to put someone in charge of determining if a job has meaning and eradicate the job if they don't?

Aren't we already doing it with capitalism and statism? :) Or did I missed ChatGPT-XXX taking over the world already (I swear I was trying to pay attention :))?
But in all seriousness - I only propose limiting power of individualsm institutions and corporatios, not giving it to government.

>> What happens when a different political party wins election and starts eliminating positions that the prior party thought had meaning?

And what do you think happes when new CEO takes over company? Because I have seen far worse cleanings done through corporations that were taken over by competition than the biggest governments cleanigs of institutions done by new party taking over government (I happen to have some inside access to local govermants organizational data and know some people that worked for big companies that were raided).

>> Hitler was able to do what he did because the government had so much power.

Still the underling problem is power accumulation - governmant from my point of view was only means to obtaining it. I believe that we are living in times when new doors opened for power accumulation that will grant some individuals almost comparable power. And I would gladly sacrifice parts of economic development potential to do that.
You can look up the terms of their Consent Decree with the FTC.

It was signed by Twitter as a result of them having a data breach.
the hardware is NOT seen by the kernel. Does the kernel have the driver at all or do I need to compile a new kernel?

Ok so what is the name of the module that has the driver?

I'm sure that it ain't that hard to find out. I'm sure google with some google-fu used to give you an answer to exactly this kind of question in no more than 5 minutes of googling. 10 at most. I'm sure the driver exists.

Try it. Really. Watch google repeatedly drop and change your keywords, claim it hasn't then return pages with crucial keywords absent.

It's recommending. It's not searching. There is a difference and for this kind of thing it sucks very hard. You must have examples you've seen. This isn't my first it just came up in the last week so I picked on it here.
You can indeed perform inference using WebGPU (see e.g. [1] for GPU-accelerated inference of ONNX models on WebGPU; I am one of the authors).

The point made above is that WebGPU can only be used for GPU's and not really for other types of 'neural accelerators' (like e.g. the ANE on Apple devices).

[1] https://github.com/webonnx/wonnx
Is Lisp used nowadays in producton for newly developed business platform?
The test that goes down in history as "the first IQ test" was never intended to measure intelligence. It was intended to measure school readiness for French children in an era where:

1. Not everyone had a birth certificate, so you could not base it on age.

2. City kids tended to be ready for school earlier than rural kids because they were more familiar with processes like queuing up.

The entire concept and history of intelligence testing is rife with problems and remains controversial.
According to the story, Stripe's need to withhold billions in (employee's) taxes is related to (waiving the second trigger in) the double triggered RSUs it has been using to compensate them.
In an interview with Seymour Hersh recently he also mentioned how in the George W Bush era, the FBI was illegally using NSA wiretap on Americans to prosecute cases. In many instances he said, the oversight actually does work. Sometimes though, it doesn't.
On the other hand, an €80k salary also includes not going bankrupt if you dare get cancer or cost you $19k if you want to birth a baby, and also allows you to live in a place where there's decent public transportation so you don't need a car and all that stress if you don't want. It means not going $200k in debt to go to college. It means drug laws that are more aimed at harm reduction rather than moralizing. I'm sure there's others.
I actually want the FBI and law enforcement to to buy and use commercial data to solve crimes. Otherwise, we will end up with private investigators for the rich who have access to commercial data and hobbled law enforcement for everyone else who are prevented from accessing commercial data.

If the data can be bought on the open market, law enforcement should have access to it.
Love this. Always looking for non-ad ways of reaching interested customers
https://archive.is/ktsYX
https://archive.is/TxXCI
Thanks for pointing this out! Indeed the reliability is a real problem here. On the Einstein page you pointed out I see two vague reference to the "God does not play dice" citation which Einstein did not really say.

However, using wikiquotes also comes with problems: the quotes are presented in an unstructured way, and often the whole paragraph is there instead of a short and impactful excerpt.

I'll try to find a way to get the best of both worlds!
(Just for the sake of nitpicking: the term is "liveness")

Short answer is no (seemingly).
From the docs it seems Fault only supports assertions. Finding an assertion violation is a reachability problem and is immediately usable to prove safety problems, not liveness.

But, long answer is "kind of"!

That a counterexample to a liveness property ("x eventually happens") generally is a lasso-shaped execution (so a prefix + a cycle) where x never happens. With that in mind, you can reduce liveness checking to reachability: the only problem is, you have to add state-tracking to your model and assert "the system never closes a cycle when x never happens".

This is explained in detail, e.g., in Armin Biere, Cyrille Artho, and Viktor Schuppan. 2002. Liveness Checking as Safety Checking. Electron. Notes Theor. Comput. Sci. 66, 2 (2002), 160–177. DOI:https://doi.org/10.1016/S1571-0661(04)80410-9
Carrying server equipment wearing an italian suit is an action though !
They didn't profile against TruffleRuby, which does indeed get massive speedups of the type you're expecting. It's just really hard to JITC Ruby to the level you'd expect having worked on V8, and GraalVM is the only VM that can do it. However the Ruby community seem to want having their own JIT written in C more than they want performance.
The Dewey system is famously stuck in its time and culture. Look at religion, there are multiple top level cateogries for Christian religion related things, then there's "Other religions" for everything else. At this point, it's embarassing and insulting.
All those effects have the same issue, don't they? I've definitely run into situations where I moved from a combinational approach to a control flow based one for iteration because the combinational approach required multiple closures to borrow the same state mutably.

It's almost like there's also still some gap in the borrow checking, but it's not obvious to me how to address that.
https://archive.is/Nvbfc
What's wrong with stuff like Wix, Squarespace or even Wordpress for simple content?
https://archive.is/NQMbZ
Sounds like a really cool project to work on but the video is unintentionally hilarious

No, the game is not Rocket League, it's just a regular football game and all these players have to talk to the camera about how great it was to play FIFA with a Nissan Qashqai. All the absurdity of USB steering wheel memes, but played with a straight face
Upvote for the word play in the title. Well played, editors.
Here come the real AI use cases! Nice work!

AI generated content is the initial "ooh, money" wave that will be the future's basic spam to deal with.

Difference between AI and web3 is that web3 didn't have a real use case to follow the gold rush phase :x
This is the reason I think that for any of those ToS if it turns out that any provision in them is unenforceable it should be that the whole ToS automatically becomes unenforceable.
Stripe's compensation is notoriously option heavy, almost like it were a public company https://www.levels.fyi/companies/stripe/salaries/software-en...
In Germany, my wife and I pay together about ~2,000 USD per month for public health insurance. It's not cheap!
Note that the 3.5bn (withholding) tax under discussion is not about options. It's about RSUs.

(There is also a less important amount of tax due - by more ancient employees - which is about options.)
Nearly everything done with floating point would be better done another way...

But the reality is that floating point numbers 'just work' for a huge number of things, and the space and compute inefficiency is small enough to not worry about.
Why are economically viable and subsidised mutually exclusive? How massive are the subsidies when compared to the population served?
I took 2 yrs out. Does that count? Did plenty of travelling. Worked a couple of ski seasons in hotel. Hotel job really chill compared to working in tech, just check people in, take their bags up, hit the slopes between shifts. I used to feel very sorry indeed for the stressed IT guys who came to try to fix our systems. Been there done that, know its no fun. However... in the long run, while more chilled, it doesn't pay the bills in the same way and you can't raise a family on it. During the time I looked into alternatives to tech e:g retraining as an electrician since that was in demand and tech skills help with it. Lots of training and certs to get though. Travel, working in sub-optimal conditions not a comfy (albeit open plan s**) office, or nowadays WFH. Ultimately I returned to tech and glad I did. jobs outside tech are not all roses. Working in tech in public sector e:g government, academia, where the organisation isn't constantly trying to make more money, is generally better I found. After 20 yrs in tech, you might need a long sabbatical. In some ways it'd be surprising if anyone didn't really after 20 yrs, unless they do 4 days weeks, long vacations, some other kind of pressure-release perspective-reclaiming activity. Good luck :)
> This is what is extremely strange to me (by principle). When the government does
it, it seems to make many more headlines and people are outraged, but when a company does it, there is far more acceptance.

Exactly, and all it needs to keep people calm is to create a puppet advertising company that does its job and covertly pass the data to govt organizations, or infiltrate an established one. Problem is that personal data mining has become vital for our modern toxic economy, so I don't see how the practice could go away anytime soon, especially when those making the laws and those taking advantage from it are essentially the same entities.
You simply state a dumb statement, comes the correct ones.
Neither JRuby nor TruffleRuby are compared to, and both are quite fast especially TruffleRuby.
If that's true then why does anyone immigrate anywhere
plus one for this, I had wildflowers and while the number of bees was disappointing I saw a lot of butterflies. they were in the house every other day over summer.

We also planted a mint plant which went to flower, and that was like catnip to them. Anytime you looked out the window there were seven or eight butterflies on this one plant, no flowers free.
That's doom thinking that's just going to lead to doubt and inaction. Green technologies can absolutely become competitive, and in many cases already are. On top of that, there's a lot more to industrial competition than just where your energy comes from. There are a lot of countries with very cheap energy that are not dominating the world in industry. And there are countries with expensive energy that are.
A better benchmark, with rails in position 131 of 142. https://www.techempower.com/benchmarks/#section=data-r21&tes...
Serverless Deno with Azure Functions
The results are not very helpful.

I searched for ".NET" and got mostly results about economics, climate and a "Music Help Desk" whatever that is.

I searched for JavaScript and got results from newsletters I've never heard of that have less than 10 published issues.

Googling for both things returns dozens of results for both search terms.
pesticides in rivers because of fossil fuels?
Alternative search engines like wiby, searx, etc?
Current IM platforms work just as well for that, aside from the fact people are starting to not like Facebook and half your friends might not have it. The main problem is if you don't have cell service and need to transfer a file, or if the file is on a machine without IM set up for some reason or another.
It might be. If immigration were curbed earlier, the current decline might have been normal rather than "historic". What's your suggestion on how to test that theory?
Then flag this, please.
This actually could be a business model (in a very dirty way) for something that I prototyped years ago, that really didn't have a business model behind it.

My thought was to make a personal search engine. i.e. it wasn't about indexing the internet (though perhaps there was value to that in combination), but to index what you've seen / your social network shares with you (easier when the APIs to said social networks were actually usable, that's sort of gone the way of the dodo).

The problem is, while searching what you've seen / social network shares with you is "nice", how often are you actually going to use it? My thought was to make a browser extension that would make that passive, i.e. constantly show you what's related to the page you are looking at, from said index (using lucene's 'more like this' type search). My implementation was clean (not dirty like I said above), because it was all client side, nothing stored on any servers.

A dirty business model using a similar business model to this, would be to store everything online, and charge people to search their data, but they would be giving up all their privacy to this index then (hence the dirty part).

I also thought of targeted ads in the extension, but that would seemingly be a related privacy issue.
big data can transform the real estate industry in several ways, including:

Personalized marketing: Big data can be used to track clients' preferences, behavior, and history, allowing real estate agents to offer personalized marketing campaigns and recommendations.

Predictive analytics: By analyzing large amounts of data, real estate companies can make informed predictions about market trends, property values, and demand, which can help them make better investment decisions.

Improved customer service: Big data can be used to provide better customer service by tracking client interactions and providing real-time support and feedback.

Property management: Big data can help real estate companies manage properties more efficiently by analyzing data on occupancy rates, maintenance costs, and tenant behavior.

Location analysis: Big data can be used to analyze location-based data, such as demographics, traffic patterns, and crime rates, to help real estate agents and investors make better decisions about where to invest in properties.

Overall, big data can help the real estate industry become more efficient, customer-focused, and data-driven, which can lead to better investment decisions and improved customer experiences.
There is limited use for private investigators - and the end result is rarely the systematic oppression of people, rarely involved someone in prison, rarely involves things like violence, and rarely are using tax money to do it. I'd also argue that more often, a PI isn't for someone rich and famous, but rich enough to afford it and has reason to hire. (divorce, for example).

If the police need to purchase such information, they should have to get a warrant like they do for other things. Someone (or two) not involved in the investigation should have to agree that it is necessary. Law enforcement should be somewhat hobbled because the opportunity for abuse is much greater, especially to general society because of its reach.
Depending where you go most of the EE degree is just an elaborate hazing ritual, and if you could pass it you could probably just teach yourself what you needed to know.

If you haven't already, get "The Art of Electronics" by Horowitz and Hill - that alone will tell you enough to many things.
This was always the coolest capability of Star Trek's holodecks, not the projector technology. Super cool that we might just get there within the lifetime of someone who watched the show in the 80s.

My favorite Star Trek episode has always been "Identity Crisis". Not because it's one of the good ones, it's pretty clunky. But it contains a fantastic 5-7 minute long montage featuring Geordi La Forge interacting with computers (by touch, voice and on the holodeck) to solve a murder mystery, analyzing and live-manipulating 3D "holo footage" to discover a vital clue. Whoever imagined that sequence is the hero of my childhood and perhaps the reason I became a software engineer, doing an oddball mix of HMI and systems engineering.

There's so much in that sequence. The free mixing of different input modes, the complementary collaboration between a human and an AI system, carrying state with you from room to room. Analyzing and generating. Following instructions and making suggestions. Powerful inference, precision of control.

We're getting close now!
But liberapay uses paypal or stripe to do the actual payments.
What? No. This is not how salaried payroll worked in … 8 companies over 20+ years, 10 of them in people management.
I was wondering about stimulation as well, in terms of media.

YouTube recently offered up some throwbacks, and I remembered a great kids TV programme on the BBC from 1980.

https://youtu.be/rOuAzHjsiOg?t=9m56s

Between the Adventure Game and the Great Egg Race, there was mainstream (3 TV stations) fodder for developing minds with an interest.

There's a lot of modern stimulating educational material on YouTube, but it's in an ocean of filler.
This project is really cool!

It's kinda unfortunate that there is still no real replacement for libspotify on Windows, and that you have to have the desktop application installed and running.
I started work in 1992,and joined the generation "computerizing the world". We literally sold computers with our software - most customers had zero, of maybe 1 computer.

I was almost unique in that my qualification was computer science. My boss was a mechanical engineer. His partner was a land surveyor. I would go to a conference and I'd meet doctors, lawyers, mechanics, pilots, police, pretty much every occupation under the sun except "programmer".

All of these folk had the same story, they needed something for their day job, so they learned, and wrote it. Many pivoted into selling the stuff they wrote. I made/make a living selling technology and training to this generation. They often have significant market share in niche markets.

But today its different. Table stakes for entry is two magnitudes larger. I started with a thin apple 2 book, and coded the same day. Our commercial programs (for DOS) were primitive. They've had 30 years to grow. Today out the box you need to understand Windows, databases, integrations, networking and do on. The days of Dr Bob writing some software for his practice are gone. Programming, like doctoring, requires a lot more now to make an impact.

The next generation will have their own path to tread, their own stories to tell. But our path, our experience, is of limited value to them.
Federal + California tax on those kinds of amounts totals 43%, which is easier to estimate in your head if you call it 50% after taxes.
The workers should own the means of production?
Doesn't that mean these the decision makers also don't have liquidity? If so, wouldn't the lack of liquidity not be for them still believing that there's a bigger payday behind the horizon? Still sucks if you want/need the cash now, of course.
I built a startup in Rust, I would do it again
Forums were a good compromise, not too commercial and full of great content, but also accessible to people who would rather not spend $5 a month and hand write HTML
Semantic search and summrized answers seems a more balanced way to add this technology, if you're read about bings Sydney having bad reactions to journalists and security folks
It's significantly cheaper to render a fullscreen window on the GPU than it is on the CPU if you're running at 2560x1600 or 4K. To push that many pixels, you have to send significant amounts of data (framebuffers) at 60 FPS to the GPU anyway - which is no small feat and is bound to eat into the battery. It's just more efficient to run on the GPU.