skysight-inc/HackerNews huggingface dataset:
It would be like having the machine code to something amazing but lacking the ability to adequately explain it or modify it - the machine code is too big and complicated to follow, so unless you can express it or understand it in a better way, it can only be used exactly how it is already.

In mathematics it is just as (if not moreso) important to be able to apply techniques used to solve novel proofs as it is to have the knowledge that the theorem itself is true. Not only might those techniques be used to solve similar problems that the theorem alone cannot, but it might even uncover wholly new mathematical concepts that lead you to mathematics that you previously could not even conceive of.

Machine proofs in their current form are basically huge searches/brute forces from some initial statements to the theorem being proved, by way of logical inference. Mathematics is in some ways the opposite of this: it's about understanding why something is true, not solely whether it is true. Machine proofs give you a path from A to B but that path could be understandable-but-not-generalizable (a brute force), not-generalizable-but-understandable (finding some simple application of existing theorems to get the result that mathematicians simply missed), or neither understandable-nor-generalizable (imagine gigabytes of pure propositional logic on variables with names like n098fne09 and awbnkdujai).

Interestingly, some mathematicians like Terry Tao are starting to experiment with combining LLMs with automated theorem proving, because it might help in both guiding the theorem-prover and explaining its results. I find that philosophically fascinating because LLMs rely on some practices which are not fully understood, hence the article, and may validate combining formal logic with informal intuition as a way of understanding the world (both in mathematics, and generally the way our own minds combine logical reasoning with imprecise language and feelings).
For me, acknowledging that:

"YOU’RE STILL GONNA BE MOSSAD’ED UPON"

is quite comforting at times.

When I'm doing security related thinking at work (or at home), understanding that if a powerful nation state's security forces become "interested" in what you're doing means you've already lost, takes the pressure off striving for perfection and trying to design systems that are secure against "the global passive observer" who's already NSL-ed your TLS cert provider and your cloud host. I admire what Signal/WhisperSystems build, but the project we're building at work that's topologically equivalent to just another CRUD app can't afford and doesn't need to be secured against the NSA or any of their Fiveeyes henchmen.
It is. Browser engine diversity is important for a myriad of other reasons, though.
> Yes PRISM is a mass surveillance program

You're more than 11 years behind the news. Less than a week after Greenwald published his initial ridiculous description of PRISM, it was corrected by the people who actually built the systems at the tech companies. He stupidly thought that the DITU was a machine at the companies that could get any data, when anybody with half a clue could have told him that it's obviously https://en.wikipedia.org/wiki/Data_Intercept_Technology_Unit. The Wikipedia PRISM article's description is very clear and well-cited, and it includes Snowden's slides there to cross reference the description with. https://en.m.wikipedia.org/wiki/PRISM#The_program

The FBI tells the companies to forward the communications of specific targets to the FBI. PRISM is a data integration system that ingests that data from the FBI into NSA systems.
“I was just following orders” is only a bad excuse if your side loses.
Not that this would be practical but could you connect the gun to a speaker and just play the inverse of a pre-recorded gunshot?

You'd need to have lots of pre-recorded shots as I imagine there's some variation between guns, calibers, etc. but I wonder how well it could actually work.
duckdb-wasm "Feature Request: emscripten-forge package" https://github.com/duckdb/duckdb-wasm/discussions/1978
Tiling Assistant might be worth a try. It can be configured to be pretty out of the way and just add more snapping sizes, different per-monitor if you need.

https://github.com/Leleat/Tiling-Assistant
Same here but I was surprised to see that Stripe tax didn’t provide these monthly summary reports. Or did I miss something?
> it's about whether they transmit specific HIPAA "transactions" electronically.

That's correct, but if you don't accept insurance then you will not transmit anything that meets the criteria to be covered by HIPAA. At least, in terms of being a provider. Things are different if you're a health plan or clearing house.

I spent a lot of time and money questioning this with lawyers at a health tech startup I previously worked at. The underlying reality is nearly the entire US healthcare system falls under HIPAA because nearly everyone wants to accept insurance. However, if you're a doctor running a cash-only business you will not be a covered entity, even if you send PHI electronically.
Mixing can work pretty well. I'm using Plasma with i3 as a WM, and it hits the perfect spot for me. Not sure if the same thing can be done on Wayland, though?
What do LLMs have to do with package and project management?
If they argue for Olive Oil over Dairy, I suspect there's still a preponderance of use of butter and saturated fat in the north, and less in the south but no, I think it's declining value.

I drink EVO morning noon and night and slather butter on anything which has stopped moving, irrespective of the nutritive value. I live for salt. If it's been deep fried, so much the better.

No amount of advice to stop eating Parmesan and Butter is going to be heard here, la la la la.. not listening. Still, if you want to live a long, healthy and dairy free life.. go ahead!
If you drag some text from here to there, it could be good to have it stay selected. You might have dragged it not quite where you wanted it; it might need another drag.

Or am I misunderstanding "changed somehow to keep the selection happening after you released the mouse".

(I understand that people don't like UI changes that break their muscle memory of course.)
Add to this the government destroying the institutions that exist to prevent exactly that from happening.

It is part of a plan. Tech bros allied to corrupt officials.
SMTP connections are wrapped in TLS these days, so even if you were to collect email transfers bit for bit, you wouldn't be able to read them, not even metadata.
There's this concept in aviation of "ahead of or behind the plane". When you're ahead of the plane, you understand completely what it's doing and why, and you're literally thinking in front of it, like "in 30 minutes we have to switch to this channel, confirm new heading with ATC" and so forth. When you're behind the plane, it has done something expected and you are literally thinking behind it, like "why did it make that noise back there, and what does that mean for us?"

I think about coding assistants like this as well. When I'm "ahead of the code," I know what I intend to write, why I'm writing it that way, etc. I have an intimate knowledge of both the problem space and the solution space I'm working in. But when I use a coding assistant, I feel like I'm "behind the code" - the same feeling I get when I'm reviewing a PR. I may understand the problem space pretty well, but I have to basically pick up the pieced of the solution presented to me, turn them over a bunch, try to identify why the solution is shaped this way, if it actually solves the problem, if it has any issues large or small, etc.

It's an entirely different way of thinking, and one where I'm a lot less confident of the actual output. It's definitely less engaging, and so I feel like I'm way less "in tune" with the solution, and so less certain that the problem is solved, completely, and without issues. And because it's less engaging, it takes more effort to work like this, and I get tired quicker, and get tempted to just give up and accept the suggestions without proper review.

I feel like these tools were built without any sort of analysis if they _were_ actually an improvement on the software development process as a whole. It was just assumed they must be, since they seemed to make the coding part much quicker.
I've gone on and off tiling WMs over the years. I've just switched from Sway to this, and I'm really enjoying it so far. I have a lot of the same issues with Sway. I really like Sway, but to get the windows working great for me, I end up having to do a lot of manual window management.

I really liked Paper WM with Gnome, but it had lots of little nits that made it frustrating to use (but it did a very admirable job for a Gnome shell extension), and I went back to Sway.
I think the AI images are what makes this interesting. First good use of AI video I've seen.
I had the same experience on their site, even following the given example! "Show me a horse" -> a brown horse appears. "Make it black" -> now it has black fur. "Make it white" -> I'm sorry, racist content is not permitted, you are a bad person
Thats awesome. It absolutely IS repudiating the existing debt. I wonder if in the current tariff war and 51st state the other economies can be sucked in? I would think most of the EU and APEC are going yea.. nah.

China on the other hand, might actually do the perverse thing. At this point, calling in the $800b probably can't work because Trump would just repudiate it out of hand. But, the conversion into some future debt instrument might recoup some cents in the dollar, so why not? After all, until America wakes up to how foxconn operates and puts people back into factories, they need what china has: cheap labour.

Meantime, trade alliances like the TPP which excluded America because it wasn't tilted in america's favour, seem to be doing ok. Maybe I can stop eating frito-lays made inside the continental 50 and enjoy the cheap knockoffs made in Vietnam?

A lot of headline noise is being made in Australia 'bout how we sucked the toe and did not get let off steel and aluminium tariffs. The net value of these exports to the USA is about 10% of our total. Its chicken-feed. It's lost in noise.

Say we lose them. we lost 10% of sales to a bad partner, and we can probably replace almost all of them selling to Europe or other places which are friendlier.
I don't think this would be interesting without the AI art so big disagree. First good use of AI video I've seen.
>Did they get a $338m grant?

That was the year their lawsuit with Verizon finished and they got paid their remaining due for the Yahoo search deal. Related, I think most their money from 2017 also came from Yahoo.
uv offers another useful feature for inline dependencies, which is the exclude-newer field[1]. It improves reproducibility by excluding packages released after a specified date during dependency resolution.

I once investigated whether this feature could be integrated into Mix as well, but it wasn't possible since hex.pm doesn't provide release timestamps for packages.

> Does uv work with Jupyter notebooks too?

Yes![2]

[1] https://docs.astral.sh/uv/guides/scripts/#improving-reproduc...
[2] https://docs.astral.sh/uv/guides/integration/jupyter/
Definitely looks like a small turbocharger!
Marc Andreesen owes his riches to Netscape whose ashes became Mozilla. I don’t understand why he doesn’t give the Mozilla foundation and endowment such that the interest on the endowment would fund work solely on the browser. They could then just work on the browser and nothing more.

No need to do marketing, have a venture arm, millions for management, etc. it could be a group of 10 or 20 really awesome engineers and maybe a bunch of passionate open source folks contributing.

Will he do it? No. Do I wish he would? Yes. Would I if I could? Hell yes because there needs to be a viable alternative to chrome and how is that possible when chrome butters their bread and pays their bills?

Or! The some hundreds of millions they did get from Google they just out in an endowment and then shrink staff (start with management) until they can live comfortably off the interest…
I’m not saying you should never pay taxes, but are you seriously worried about little guys making under a million a year? Internet based companies are not using your roads or calling on your firefighters or getting protection from your police, and since the time I wrote that post the largest companies in the world have saved like a billion dollars using Irish tax shelters.

Let little guys be. The deck is stacked against ever hitting a million+. They are not a threat to your way of life.
This is interesting and subjective. A shared workspace is completely unacceptable to me. I need my monitors to have different, unlinked workspaces that can be independently switched. It's one of the things I hated about using Gnome.
Brilliant idea but e.g. I got the conversion of the kingdom of Aksum to Christianity and none of the images resemble reality.

I think this might work better if you fed the LLM some real image and asked it to expand it than by using prompts.
The server in http is limited in its ability to initiate connection closures. Remember that when you close a connection in TCP, that sends a FIN packet, and the other end of the connection doesn't know that that's happened yet and might still be sending data packets. In http, the server can request that the client stop using a connection and close it with the "connection: close" header. If the server closes the connection abruptly, there could be requests in flight on the network. With http pipelining, the server may even receive requests on the same connection after sending "connection: close" since they could have been sent by the client before that header was received. With pipelining, the client needs to close the TCP connection to achieve a graceful shutdown.
Mozilla Likely Been Sharing Aggregated Firefox Data with Advertisers Since 2017
Dribbble is a great resource IME
Apart from the fact that it chews fast requests like there's no tomorrow I dislike how it does changes I didn't ask to. And if I ask to undo what it did without being asked, it goes on and beaks more code.

In my test application I had a service which checked the cache, then asked the repository if no data is in cache, then uses external APIs to fetch some data, combine it and update the DB and the cache.

I asked Cursor to change using DateTime type to using Unix timestamp. It did the changes but it also removed cache checks and calling external APIs, so my web app relied just on the data in DB. When asked to add back what it removed, it broke functionality in other parts of the application.

And that is with a small simple app.
Exactly. The author is “using it wrong”. The iPad is an appliance much like the phone is. Get a MacBook Air and call it a day. The article is clickbait at best because everyone knows iPadOS is not as open as macOS.
I'd say most people who work on this kind of zero-sum winner takes all approach to life would call that a win. The rest of us who want regulators who can regulate and believe in a mutuality? less winning.

If I put a certain pair of billionaire's names in here, it just annoys people. I guess if they read and can intuit, I don't have to resort to calling anyone "Winnie the Pooh" to get around the noise filters but I am interested what nominative determinism could apply. Elongated names are better. Ones with a suitably fragrant, anal scent gland, Musky kind of smell.
Here’s some typical reasons why a startup can fail:

1) it failed to communicate and market it’s product

2) it’s product didn’t fit the user’s needs

3) it’s technology strategy made development too expensive

4) it’s product technical quality was too low

5) it’s product did not look appealing to potential new users

Developers are responsible for 3 and 4, sales and marketing for 1 and finally designers for 2 and 5.

With competent developers you can start a startup and make sure 3 and 4 never come to pass, but lack of good product designer will eventually kill it.

Here I use the broader sense of user-centered designer, which includes:

- research

- testing

- prototyping

- validation

- UI/UX design

- visual design

- …

The first four being the most important for a product market fit.

This is especially important for B2B products, because there understanding the needs of the business and their processes is key to making sure the product fits the user’s day-to-day work but the businesses’ future needs as well.

It may not be common, but you can and should use extended UCD research methods on the customer business processes itself instead of relying on PMs and sales just asking customer’s what they want. (This is often called Business Design or Service Design around here.)
Ron D Moore also worked on the remake of Battlestar Galactica. I think one of the first real binge-watched shows that I can think of. He was the guy who pushed for story arcs in DS9, while they were trying so hard to keep the show episodic. Those story arcs were some of the best Trek ever, and I think the success of that, and with the follow up success of BSG really changed TV a lot.
Gotta say something is lost moving from
Bitmap to svg, there’s a certain charm to the “graininess” of bitmap
> The only reason that "iPads are just unserious computing devices for real work" is because Apple chooses to limit them.

That’s their choice to make. As consumers it’s on us to make the right choices. What the author wants is a laptop not an iPad if they want a general purpose computing device

The article is just a way to poke the giant that is Apple just like we used to when we wrote Micro$oft
MongoDB Atlas's Forced Upgrades and Support Policies Drove Us to PostgreSQL
There's a second edition of the legendary K&R book¹ to get you started.

¹https://www.amazon.com/Programming-Language-2nd-Brian-Kernig...
I dunno why anybody thinks a computer with a 10 core CPU, 10 core GPU, 16GB of RAM and a TB or two of storage is "an e-bike".

None of the machines I do the work that pays my salary exceed those specs. Apart from the 16GB of RAM none of my work machines meet any of the other specs.

If Apple would let me plug a couple of HDMI screens and a keyboard and mouse into a iPad, and let me run macOS (or even Linux) on it, it'd be a more capable development machine that any I've ever used.
> but the primary business reason game consoles are locked town is to make it harder to play unlicensed commercial games on them.

Which is user-hostile. The user bought the hardware, so they should be allowed to play whatever they please. Hiding the true cost of the hardware by inflating game prices using licensing fees is monopolistic and an attempt at misleading the consumer.

This is the exact same business model as printer companies reducing the price of printers by inflating the price of printer cartridges and locking down the ability to use third-party ones. It is unbelievable to see people on a site called "Hacker News" defending that business model.
Yes but I then still then have to declare all dependencies for all tiny throwaway script, right now I have global python in pyenv and installed tons of plugins and didn't have too much issues with conflicts so was good enough for me
A Tiny GCC Front End (2016)
How would you be able to get real images of the past?
I think having a browser managed by one of the most powerful company in the world is the core of the issue, albeit in indirect ways.

I have no insight into Firefox' technical foundations, but to your point I've been using it since the IE days and never had critical performance issues or compelling reasons to use another browser short of company specific sites: Google properties is one: while Firefox works, Google has obviously no incentive to make it work better than Chrome, and potentially incentives for the opposite.

Companies' internal sites and tools are another: fixating on one specific browser has been an (unwise) long lasting trend, and for a company Chrome being backed by Google has a lot more appeal than Firefox. That was the same dynamic that cemented IE6 in it's position.

Perhaps Firefox missed the V8/electron train that would have made it in the same position as Linux: a platform to run other things on. But I don't know the history around that.
They are surprisingly capable given how long they’ve been around and they allow you to eject and fully manage your code via git. I’d say try them out and share your experience.
And this is why I always opt out of these things, because on the off chance they actually respect the thing they’re offering to respect (and generally I assume they’re collecting the data anyway) if you don’t toggle it off you know they’re not just collecting it for themselves.
I'm always amazed by regional differences in pricing.

I had a company(wrongly) tell me I needed a new septic tank and drainfield installed, and quoted me out at 7800.

Which is way, way more work and parts than a sewer line.
Just do dishes to help your parents ?
Personally, I don't get why there are so many standards for the web platform. Can't we just provide a minumum set of APIs that developers can build their own UI on top of just like what we do for the desktop?
It takes a designing engineer to startup a touch minefield that User X practically cannot survive without triggering a popup.
That's not a description of the status quo ante.

Prior Presidents more or less respected the need for independent agencies within the Executive, and the courts upheld the right of Congress to direct how money is spent meaning the President couldn't arbitrarily shutter an agency created by law written by Congress.
> The big question is why. It's not like there are a dearth of social justices non-profits out there. It couldn't be easier to donate directly to such projects.

Managers like to build empires?
Does "former employees" mean that they are not employees now?
> As consumers it’s on us to make the right choices.

Which involves more like this, so that consumers can recognize kinds of dissatisfaction and share that it exists, rightly or wrongly.
Archive link

https://archive.ph/1QXSB
Because that would either mean locking down MacOS or opening up iOS. Apple would love to lock down MacOS, but it'd be incredibly bad press to admit to that publicly.
For the 5 algorithms you mentioned, I know them well.

> SHA-1 and AES also vary by the round

Vary what by the round? SHA-1 ( https://www.nayuki.io/res/cryptographic-primitives-in-plain-... ) is structured very similarly to MD5, with one big difference being that SHA-1 doesn't vary the rotation by the round number. AES has a public sequence of round constants that gets applied to the key expansion, but otherwise doesn't do anything special to the ciphertext per round.

The logic that can cause timing issues include using a memory lookup table for the S-box and finite field multiplication in AES, as well data-dependent rotations in rare ciphers like https://en.wikipedia.org/wiki/RC5 and RC6.
Rembrandt to Picasso: Five ways to spot a fake masterpiece
"My decade-old and very well-travelled Toyota Land Cruiser finally died, and I bought a Land Cruiser that has the exact same body and engine but with a different steering wheel... the engine also has a limiter applied to it that prevents offroading and driving faster than 20mph.

I think Toyota should remove the limiter."
Amtrak's revamped app makes it easier to find your train status
It was unwarranted sarcastic snark. That commenter was bitten by some bug.
Very interesting ways to interact with AI videos
Earlier in the video, where it was going to fold a "fox", I was expecting a fox, but a fox face. I know I should have high expectations at this point, but was disappointed from the result given the prompt.
I agree. But I think the change will come between 5 to 10 years.

Anecdotally the amount of hype and interest has been growing exponentially. This will push progress to a maximal pace. The next 10 years will be significantly faster then the last 10 years.
Back to gambling? Mathematics is a relatively new career. My understanding is that these guys used to gamble about solving proofs for a living.