skysight-inc/HackerNews huggingface dataset:
I agree, it can be. My example above matches yours (fuzzing a data structure).

I coded some tests that ensure the data structure is useful, many of them test examples from papers describing the data structure, but that don't necessarily cover all the corner cases.

Then I fuzzed it. I used Go's fuzzer, which is geared towards parsers and stuff. It can generate a stream of bytes and use that for fuzzing. The data structure is a set/map. So I interpret the stream of bytes as commands to add/remove random elements from the set/map. After I add an element, contains needs to return true; after I remove one, contains need to return false; if I put in a mapping, finding it must return what I just put there, etc. And at every step all the data structure invariants (that ensure logarithmic search, etc) need to hold.

That was stupidly effective at finding a few bugs, all within seconds, all with sequences of less than a dozen operations. Then it stops. And you get 100% coverage.

I'm assuming that, apart from ergonomics, where I kinda build my own state machine transitions out of a stream of bytes, the tooling actually seems more effective than property testing libraries.

Still curious to understand what I'm missing out.
There's usually tells that it's a compliance post.

Used to be very specific instructions about mailing a resume to an address with a reference number. And advertised only in the newspaper. But Immigration said they can't do that one anymore; has to be the same submission methods (email, webform, whatever) as an actually open position and advertised/listed in the same places too.

But they'll still have the other tells, which is very specific experience and education requirements which happen to line up exactly with their preferred candidate. Sorry, we did our best, but we can't find any local candidates with a 4 year BS degree, a minor in Clown Studies, and 3 years experience with very specific software that isn't used many places (experience most likely obtained at the hiring company during internship or while on OPT; or while on H1-B if this is in support of a green card, rather than in support of H1-B).
Northern Europe is much further from the equator than most of the rest of the world. To the point where rooftop solar stops being a great option. That said there’s a few ways to boost that 10%.

PS: Geothermal can also slash energy needed for heating. Ground sourced heat pumps are the only reasonable small scale solution, but in urban areas going a little deeper starts to make a lot of sense.
I like the idea of using a mini PC with one of these and then swapping that out while keeping the display and keyboard.

The Khadas Mind, which has been controversial in tech reviewer circles, kind of carries itself like that: https://www.khadas.com/mind

The pricing is all off, but the model has potential.
There is a lot of information on this on the diysolarforum.com but if you purchase name brand cells, CATL/EVE from a good supplier these are the same ones used by all industry. They have a very good track record. I do not advocate buying from any random seller on aliexpress. There are not any mass market non-chinese batteries available for sale. Virtually all solar equipment of any fashion is chinese made.
Enormous humanoid robots for everything! Have you ever watched one of those videos where somebody makes a mini concrete building in a few days? I'd be cool to just scale that up, if it's possible, perhaps with faster-setting concrete or something.
If you live in the UK, you can sign up to https://glowmarkt.com/ and they'll give you the same 30 minute time slices, or you can buy one of their in-home devices for £70 (https://shop.glowmarkt.com/products/display-and-cad-combined...) and it'll push your usage every 10 seconds to MQTT to give you very interesting if completely useless graphs in Home Assistant.

(Not sponsored, I just use it)
Strong echoes of the Onion's reporting on Dr. Lester Mordock's giant crabs: https://www.youtube.com/watch?v=-Uq9pp586AE
Yes.

Many banks are putting in receive-only FedNow - money can come in that way, but not go out. The U.S. Treasury supports send-side FedNow, so they can send Social Security, Medicare, tax refunds, etc. to bank accounts enabled for it. So that takes care of many routine transactions.

Send-side FedNow at the consumer level has problems.

Credit card transactions are tied to something of value being transferred from the merchant to the buyer. That info is carried along with the money transaction. So claim-handling and error reversal work reasonably well. Like wire transfers, but unlike credit cards, PayPal, and ACH, FedNow is irrevocable. When you send money with FedWire, it's gone. Fraud control will be tough. There's no merchant transaction associated with the money transfer. There are plans to add that, so a company can send someone a bill and they can pay that bill with FedNow. But the ability to send your entire bank balance to anybody with a few clicks, with no recourse, worries banks.
> I suspect the reason that mobile convergence hasn't been successful is that people like owning multiple devices that fit the mood you are in. My phone is for social stuff, my tablet is for entertainment stuff and my laptop is for work stuff.

Nah, I used to think the same thing about desktop vs laptop but turns out once laptops got good enough to be a true desktop replacement it was much better to just have one device. Phones aren't there yet, even if the raw processor speed numbers suggest they should be.
Whatever happened to Hacker News, is it eternal September already?
On weekdays, my price of electricity from 11pm to 7am is about 4 times cheaper than from 7am to 4pm, and about 10 times cheaper than from 4pm to 9pm.

Also I usually run the dishwasher and laundry sometime after 11pm, so it is usually helpful to have hot water available overnight.

Edit: I should mention that I have a ventless combo washer/dryer, so my clothes come out clean and dry in the morning. Unfortunately they are not folded.
Yep! It's actually free to get a ship: https://redhorizon.com/

Feel free to email me using the email address from my post and I can show you some good apps, introduce you to people, etc. It's fun.
While I agree, he also admits his biggest miss was phone/hardware (which is what catapulted Apple).

https://youtu.be/v9d3wp2sGPI?feature=shared
You can get a nice N100 mini-PC for much less than $200 (I got a nice compact one for my electronics bench for EUR 150: https://taoofmac.com/space/blog/2024/07/04/2200), and those pack enough computing power to be seriously useful… Especially when compared to ARM SBCs.
Not really. Let's look at Bell's Law from 1972 to understand this:

"Roughly every decade a new, lower priced computer class forms based on a new programming platform, network, and interface resulting in new usage and a new industry."

So we can say, generally, mainframes, minicomputers, workstations, microcomputers, laptops, smart phones, and now wearables (watches, rings, wallets, bracelets, glasses, etc)

Next we'll have something I'll call the Mckenzie corollary (that's me I guess):

"Roughly a decade or two after introduction, the lower price computer class will subsume the upper price computing class."

So the minicomputers took on mainframe tasks.
The workstations took on the minicomputer tasks.
The microcomputers took on the workstation tasks.
Laptops took on the micros. All this happened with a significant lag time.

And now, the smartphones are vying for the laptops.

These are superstructural transformations and take years because a bunch of new things need to be invented, developed, mastered and widely deployed for it to happen.

We are roughly in the wearables and phones-become-laptops epoch.
Technically feasible but never gonna happen because the game is rigged.

Ps the guardian is kinda on a roll again. I used to subscribe but I dropped it during the Brexit negotiations as I was tired of all the tories complaining about their deal (knowing full well that what they wanted was totally impossible under EU law they themselves signed)

But perhaps I should subscribe again especially since the UK seems to be coming into a more stable period.
Given F# compiler outputs legal IL that is expected to execute in a particular way, and CoreCLR doesn't fail on importing it, and then executing it, it has probably more to do with either Coyote or other tooling that interacts with this setup.

That is, if the issue persists. There's one that mentions F# submitted in 2020, but nothing else since: https://github.com/microsoft/coyote/issues/39

Edit: Whoops, meant to reference this one: https://stackoverflow.com/questions/61694051/how-to-use-micr...

I don't understand why there is less tolerance for having to make accommodations or take extra steps when working with F# than, let's say, when using Kotlin or Scala. Both follow a similar pattern where they can use pretty much every Java library by virtue of targeting JVM but can't use a huge amount of Java-only tooling that does meta-programming or instrumentation beyond what is provided by JVM bytecode specification, and yet it's not seen as such a huge ordeal from my surface impressions.
You might like https://news.ycombinator.com/item?id=22361282.
Thank you for your interest. In regards to privacy. Our mantra is offline first, privacy, data portability (you own your data), simplicity and ease of use. Data is stored locally in the browser (index DB) for the web version and nothing is being stored on the server as long as you use the free version, which would be completely free and would have acces to the all the features. The free versions currently allows you to export all your bookmarks as JSON (more on OTW), so there is no vendor lock-in from the get go. You do not need to give us any information to use the app
Does anyone know if the Pixel phones will ever support this?
But Babbage started in the 1830s, not the 1860s.
HTTP/2 multiplexes many streams over one TCP connection and was used in DDoS
If you want a DIY-friendly option, it's best to look towards DC optimizers. They are installed on each panel and they provide a steady 48V output. They also do MPPT tracking on the panel level, so you get the best possible performance if you have some shading.

Unlike microinverters that are notoriously unreliable, DC optimizers so far have excellent long-term reliability.
> XML Was Cool

That was probably before my time. Was it really "cool"? Like big data, cloud and agile cool? Or more like ... dunno ... some design pattern? So hard to think about XML as having been cool.
Perhaps you could circumvent the regulatory inconvenience by getting your "battery" in the form of a Ford F150 Lightning pickup truck. It can power your home during grid outages, and of course can be charged from solar and/or the grid. One vendor is here: https://www.sunrun.com/ev-charging/ford-f150-lightning
I did a project with a french Linky a few years ago that used an ESP8266 to grab the serial data stream from that exposed port on the bottom and log the interesting line items it prints out to a InfluxDB timeseries database running on a local server and use Grafana to get a dashboard of various metrics.

I remember having to do some sleuthing with the serial port as it wasn't something standard - it was like 7 bits, no parity, 1 stop bit, or something like that. And a small circuit to do level shifting for the ESP8266.

The result was data on wattage draw approx every 1 second. This allowed for some very, very fine analysis in the data.

I tell people about this when I talk about various sidechannel attacks on things that use data like this- for instance, after observing the data for a while, I could tell which floor of the house someone was on by watching transients of the wattage and the quantized changes of various devices turned on and off - e.g. the kitchen has a kettle that uses 1220 +/- 5 watts, every time, and nothing else in the house results in a step change of that value. The top floor bedroom has lights that use exactly 42 watts. The laundry machine starts up with a very specific ramp and then oscillates between two levels of power with a period of 30 seconds, etc.

You can figure a lot out about the movements of people and what they are doing by simply having fine enough time resolution on a single number - the total power consumption of the entire house.
Gotcha. Sounds like a fun project! I hope you'll do a writeup about it.
And I intend to merge with a six pack of beer and a steak later today.
Well, only in python is that N/A value also a float. In protobuf, go or Java for that matter, that data model must somehow be changed to communicate the difference.

If you had use 3 float values in Go or Java you would have had the same problem.
It'll sap the range of any kind of vehicle, but refilling an EV is a whole lot cheaper, so higher speeds are more economic for an EV than a petrol car. (Assuming you don't reach the point of running out in the middle of a shift of course)
vpmovsxbd ymm,[…] still presumably decomposes back into two uops (definitely does on intel, but uops.info doesn't show memory uops for AMD); still better than broadcast+compare though (which does still have a load for the constant; and, for that matter, the original shifting version also has multiple loads). Additionally, the int8_t elements mean no cacheline-crossing loads. (there's the more compressed option of only having a {8×-1, 8×0} array, at the cost of more scalar offset computation)
Spake.studio
So much for an "open protocol". It may be open on paper but if Google controls it in this way it's not open in practice.

Luckily it doesn't really matter here in Europe. Nobody uses SMS and by extension, RCS, for personal communications here. I don't have a rooted phone and I don't even have RCS enabled and I ignore all SMS (notifications blocked). And I don't use a Google account on my android phone.

I just don't want to get roped into yet another communication method. I use WhatsApp and Telegram.

I'm not really happy with those either as those are walled gardens too, and collect too much data on my phone. I'd love for something truly open like matrix to gain adoption but I doubt it'll ever happen. So I just run my own matrix server with bridges.

But clearly RCS is another protocol controlled by the vendor and as such no better than WhatsApp, iMessage and all the others.
Hmmm:

The files /Applications/Microsoft and /Users/lsllc/Excel.app do not exist.

Missing a backslash! [0] ... how quaintly Microsoft!

/s

[0] To escape the space, or you could quote the entire argument to `open`
> the transcript has errors. I've gone from professional transcriptions to Descript and then a pass of GPT4... [...] I don't think its coming out as high quality as I'd like.

I wondered why there were so many unintelligible passages. I found it laborious to decipher. Thank you for explaining.
Unemployed/Contact Information

David Cornelson here. Tons of dev, architecture, strategy, and advisory experience looking for work. I'm flexible on pay and responsibilities.

Location: Chicago/IL/USA

Remote: Y

Willing to relocate: Y (SF, DC, maybe Seattle/Austin)

Technologies: AWS, Azure, C#, .NET Core, Domain-Driven Design Modeling and Development, Event Storming Facilitation, all data storage types

Résumé/CV: https://mach9poker-my.sharepoint.com/:b:/p/david_cornelson/EYPaJdWR4DxLjXH6uJtOsEABcRBbUiyugx_PJtKlRjMvgA?e=pHBXvY

Email: Connect via LinkedIn please or via resume
> rumors... prototype... mindblowing

Sounds like more unsubstantiated hype from a company desperate to sell a product that was very expensive to build. I guess we'll see, but I'm not optimistic for them.
Github ux is an unmitigated disaster from an operational security perspective.
In their defense, it did start out as an open-source tool.
The fact that enterprises adopted it so blindly despite this is pretty interesting.
Bought an S8 a few years back cheap and Dex basically replaced my desktop and Android box until the phone stopped working. Think with some better communication to older people the format could have taken off because it did do all the basic functionality you'd need from a larger screen if you're not very technical
Yes exactly. Though I would expect that they may be more neurotypical on average than modern humans
I use Python for AWS, a lot. Last I checked, to use the Azure Python module you have to setup an Enterprise app, which seemed like overkill to me, and not something I think most of our sys admins would want to do. Maybe I’m wrong?
I was a labmate of Paul when I was starting my PhD. He was an incredible human, and such a fantastic writer.
If anyone's looking for something like that, there is a dedicated cloud handheld: https://www.logitechg.com/en-us/products/cloud-gaming/cloud-...

It's lighter than the Steam Deck and has a bigger, higher resolution screen. But it can only stream games (or play janky Android games). Build quality is nowhere near as nice as the Deck, but it's comfortable to hold because of its weight.

EDIT: Beware that it's partially developed with Tencent, the Chinese gaming giant though. They control the OS so you'd potentially be giving them your Google credentials.

You can also install the streaming apps directly on a Google TV stick or a Nvidia Shield (GeForce Now, Xbox Cloud) and connect a controller via Bluetooth to play that way. That basically does what a dedicated Xbox streaming unit would've done anyway, but you're not just limited to the Microsoft option. The Nvidia service is actually a lot better anyway, since it streams from much more powerful RTX 4080s while the MS one uses much weaker actual Xbox consoles.
Are you suggesting this year will be the end of their Morello program?

From [1] "The Morello program started in October 2019, and will span a 5-year period."

[1] https://www.arm.com/zh-TW/architecture/cpu/morello
Er? No I'm describing actual physics. Physics does not care about rational vs reals. Nothing is measured to infinite accuracy anyway.
> I should write a bot to analyze users and hide those who are actively and regularly negative online or on a particular forum and hide their comments.

Yes, please! I'd sponsor this work if you want donations.

A browser plugin would be even better.

I want to filter out (or at least highlight): ads, sponsored content, clickbait, rage, negativity, trolling, crypto (much of it anyway), assholes, rudeness, politically partisan, spam emails, etc.

If this could work on every website, and eventually every pane of glass (phone, etc.), it would be truly magical and absolutely game changing for the trajectory of the internet.

I want more signal and less negativity. And fewer people trying to sell me on things (unless those things are interesting ideas).

This is the correct way to fight the algorithm and the walled off platforms.
It's a fantastic memoir indeed, very moving.

Love this quote from the book: "You can't ever reach perfection, but you can believe in an asymptote toward which you are ceaselessly striving".
I came across this which fits an Intel N100 in your pocket: https://store.minisforum.com/products/minisforum-s100
alias: alternis

interests: Mathematics, First-Order Logic, Computability, Computer Science, Systems Programming, Finite Element Modelling/Analysis,

Languages: English, French (But my french is only ok)

Link to something you find interesting:
https://ersei.net/en/blog/fuse-root

Contact Info: alternis(DOT)0x{11111111 in hex}@gmail.com
> Seriously, who is the intended audience of this headline?

The headline seems fine to me. You might mean the synopsis after it?
Even worse.. 2FA is mandatory on Twilio products, so either install authy or don't use Twilio - no exceptions.
The Very Short Introduction series is fantastic - they really do a great job of distilling the core of a subject to give a lay person the conceptual framework to appreciate the topic. I’ve enjoyed every one I’ve read.

> My favorite fact from this book is that the hieroglyphic word for “cat” is the combination of the sounds for “me” and “ew”

Chinese is similar - the word for “cat” is “mao”!
It actually is, as it provides scripting across the whole OS stack and applications, closer to Xerox, Lisp Machines and Smalltalk REPL, something that no UNIX has ever offered, with exception of outliers like NeXTSTEP and OS X.
Do you know if these batteries be used as a replacement for batteries of a lead-acid UPS? I have a Tripp-Lite rack-mount UPS with an extension battery, but its battery has degraded and it can only sustain my computing load for 3-4 hours.

It'd be great to replace it with an LFP battery.
That’s the forum I followed.

The failures often came from BMS or other parts, too. There’s a lot of focus on the cells, but people are buying whole packs with a BMS.
2025-03-25: the Rossfest Symposium, in honour of Ross Anderson (1956-2024)
I feel like it highly depends on what people are doing with a device: if there're only a consumer (of digital content or physical product), only owning and using a smartphone is fine. However for creating things (writing a PhD thesis, making a game, editing horizontal video) a PC is still required.
You're welcome. I am not sure why you were downvoted, but I think your question was valid.

My response can be summarized as follows:

- Google indeed uses and supports the compiler

- Google is moving away from the library that shipped with their compiler

- ClojureScript made a wrong bet on technology

- The design of ClojureScript necessitates the full-program optimization of Google's compiler
Yeah - and a number of Azure/O365 Powershell modules have long been deprecated. The promise of 1:1 Graph API replacements has failed to materialize for years now.
> but maybe more resilient to electromagnetic storms

If you mean solar flares, that's generally an issue with long transmission lines, as opposed to very small circuits.
Unlikely that you need more than 10kwh. You just want to cover morning and evening electricity consumption. During the day you recharge and consume directly.
Some people cold knocked on my dad's door and 3 weeks later he's got a wall of batteries in the garage. Rural Australia.

So yeah, there are businesses that'll do it.
For iPhone, put the phone in do not disturb. It will send all calls to voicemail. If someone is on your emergency contacts, favorites, or 1by1 focus then a repeated call will actually ring your phone. Otherwise no notification. Not even a text counter increase unless the person taps (notify anyway).

Tried to do the same on an android phone and it didn’t work.

You can also port your phone to google voice or Fi and give away all your call information to them. Very few spam calls get through their filter.

I like the change phone area code to out of area and block all phone calls from that area that some call services provide.
"The last lecture" by Randy Pausch - there is a book, but also a talk you can watch online.

If you've never seen it, I highly recommend to watch it.

Not giving any spoilers, but as a father, the ending of the talk made me shed a tear.
Reverse Engineering the Verification QR Code on My Diploma
It runs in emulation, at least, doesn't it?
> I can’t remember the last time I talked on the traditional phone network or received a legitimate call

Doctors, dentists, moving companies, home improvement contractors, recruiters, etc. These are some of the most important phone calls I've received in recent memory.

I don't know what world you live in, but I religiously block phone numbers after just one spam call. And I usually don't give out my phone number. (I'm much happier giving out email addresses since I have an infinite supply of addresses.) I never get enough spam calls that I feel like the phone system is going the way of the fax machine.
A basic phone blows away the early computers. 40mhz one core cpus (spark, mips, 80486...) used to do a lot of work and be fast. What has changed is bloat.
Hopefully this will make prusament way cheaper. I've since switched to SUNLU filament for my staple materials but I always try to grab a roll or two of prusament when I need parts for my prusa. It's just a step above everything else.