skysight-inc/HackerNews huggingface dataset:
> Is it easier to import SageMath from a plain Python script now; with conda repackaging?

Yes, it's easy. It was always possible, since fortunately none of the Sage library implementation uses the Sage preprocessor. You could always do "sage -python" and you get the Python interpreter that Sage uses, and can import Sage via "import sage.all". Somebody asked me exactly this question at a colloquium talk I gave on Sage yesterday, and here's my answer/demo:

https://youtu.be/dy792FEh1ns?t=1140

In the demo, I use a Jupyter kernel that runs the Python included in Sage-9.8.

Disclaimer: I created the Sage preparser long ago, in order to make Sage more palatable to mathematicians. In particular, it was inspired by audience feedback during a live demo I did at PyCon 2005.
What kind of weird question is that? They're different things, obviously not everyone is going to like the same thing.
Yes, didnt mean to be ageist. Its a mindset thing- 22 y/os would go to Oracle knowing they could clock in 25 hours a week. I’ve worked with 40+ y/o engineers who still show up fresh everyday and work a standard 40 hours, but were efficient, great teammates and leaders.
yes, it's basically gas/oil
Are these legal in a place like California, where you aren’t allowed to build new wood fireplaces in a building?

Edit: did a bit of research, apparently it is a “particulate per hour” restriction, not a general wood fireplace restriction. This might meet the requirements.
For someone completely unfamiliar with GO, how do I install this or where should I get started?
As mentioned elsewhere in this thread, actually using SSHFP in a secure way is difficult.

Far better is to use SSH host certificates, then your known_hosts can simply have a @cert-authority * some-cert in it. (See https://www.lorier.net/docs/ssh-ca.html)
I’m operating based on all available evidence in the article. I welcome any evidence to the contrary.

If “hell” means “telling the truth” or “acting with basic diligence,” well.
That looks fantastic, thanks for sharing!
I was thinking something like actors, or independent processes sending messages would be nice. Just because it's very safe and predictable. Less error-prone than threads.

The thing that kind of gets me is it seems difficult to have safe shared memory with actors? You ideally want to be able to share memory if you want things to be efficient, but if you have shared memory, then you get into issues with atomic writes and things being observed in different orders, etc.
It was the last chance. Putins aging, the military was aging, the hardware was aging. One was our another Russia was going to lose most of its capabilities.

And they thought they could do a huge fast decapitation strike.
It's most likely an operation run from China with cover from the NK government.
This example is nonsense. Your math includes only the reimbursement for the office visit. It doesn't include reimbursement of interpreting tests, interpreting imaging or doing procedures.
They even allegedly had/have a bootleg helicopter factory [0]

[0] https://www.defensemirror.com/news/27318/Fake_Russian_Ka_26_...
More likely SO2 scrubbers. Incinerator scrubbed CO2 would be incredibly dirty for most industrial CO2 uses.
You might consider checking in an authorized_keys file? Not as fun as dns, but maybe easier. You can use ssh-keyscan to build the file.
Well yeah, of course. One big one would be if the pathway to improving AI was not data limited (as it is now) but cleverness limited. Like say there was a cleverness function K at the heart of an AI system that was devilishly complex to reason about but we knew could improve with tweaking. Then the recursive self-improvement scenario that keeps AI catastrophists up at night would look a lot more realizable, the first person to rig K to optimize itself into a slightly better K' really might be playing with fire.

That's not the pattern I see right now with large language model systems, which seem to be capped by how much material they can train on, a bound that is not easy to raise. But that's the kind of development that would make me change my view a lot. Otherwise what's even the purpose of thinking about this stuff, if nothing can change your mind about it?
had the same reaction to the jargon...

...but I said WTH, googled SBERT and followed my nose and got it installed in minutes on my Mac and they kindly included a cut/paste example of semantic search.
This looks incredible and magical to me. How do you learn to create things like this as a mostly web programmer? Vectorization, etc I had no idea could integrate with gpt etc but honestly it looks kind of obvious/effortless to the author.
We're far enough away from 2045 that it seems hasty to completely discard it as outlandish. But, yes, unlikely.
Having to use a custom ROM is the same annoying amount of work as having to upgrade to a new phone every 2-3 years.

Because custom ROMs usually update to the latest Android version ASAP, which moves tons of things around all over the OS, and breaks a lot of stuff.

It's super annoying to update custom ROMs.

And frankly some people just want their phone to work most of the time, not to have the responsibility to install and maintain some pocket-sized server. That's also a reason against using custom ROMs.
Upward lightning sprouting from broadcast towers captured by storm chaser
How do you decide on the path the road should be built on? Everybody building a few feet individually?
It's fairly easy to bypass most of these with Magisk modules, like universal safetynet fix.
Symbolics.jl looks really cool, I haven’t used it much but I definitely want to

I think I was looking into it at the start of this project, but it looks like it’s symbolic solver can still only handle linear equations, and I’m working with a mess of quadratic inequalities that I wanted to solve symbolically
Thanks buddy, you saved my day. Then watch my new video on the youtube channel panda artificial Today's video was only possible thanks to you haha
Using @-hashes doesn't assure you of not getting pwned the same way here. How are you getting the @-hash, if not just looking at what the tag points to?

Sure, the image is changing now only at intentional times (as opposed to just any restart), but you're still not getting an assurance that a "trusted" upstream isn't going to RCE you. Security updates & patches come out with such frequency that the number of windows of opportunity are still plentiful.

Better advice would be to use tags, but to vendor the images somewhere and point at the vendored copies. You still get the "doesn't change on random restart", you have an idea of what version you're on that the hash doesn't tell you, you don't have to deal with Docker hashes being the weird AF things they are (e.g., you side-step the confusion that library/foo@sha256:XXXXX == vendored/foo@sha256:YYYYY), and you're more respectful of upstream's bandwidth and you're not dependent on their reliability concerns.

(And frankly, given how poorly most of the industry handles security updates, I'd argue that sitting on a very loose tag might be more secure overall, because then security patches might be happening at random times, as opposed to not at all. The trade-off of the RCE is worth it, and there are ways for upstreams to mitigate the risk there, centrally. Most companies struggle with just vendoring, and few get to actually keeping that up-to-date, IME due to a lack of willingness to apply the necessary resources to the problem.)
Thanks for taking the time to add an encouraging comment.
> " Because this design of stove burns at relatively high temperature, it yields more complete combustion and emits lower levels of particulate."

This doesn't sound right to me, because there's heavy soot production whether hot or cold stove. Are you sure it's not just because a large masonry stove (and its long chimney) has a lot more surface for soot and particulate to stick on compared to e.g. a tiny portable one?
I live in a house with many rooms, and other people I am related to. If I want to listen to music or have a conversation, my selection of audio device is dependent on the time of my day and my consideration for other people, as well as the desired quality level.

I have a proper home theater system, but I wouldn't use it while my wife is taking a nap. I have a nice stereo setup in the living room, but I wouldn't use that while people are talking in the kitchen unless I just wanted some background music.

And I have both IEMs and over-the-ear headphones because wearing either for too long can make my ears unhappy, but in different ways.
Seems like it will be perfect tool to generate power points, reports and so on that no one cares or reads...
Moreover, the battery coming out seemed to act as a shock absorber. If you do throw it hard enough for it to come out, and that was rare for me, at least something gives instead of breaks.

Ah, the memories of classmates playing soccer with phones in high school... phones could run MSN, browse websites (without JS! The .mobi site owners were just forced to make sites lightweight), play Java-based games, had replaceable screen covers, honestly what more should we want? That it's now open source Android instead of proprietary Symbian is great, but slap a touchscreen on it for web browsing and upgrade it from GPRS to 4G or so, and theoretically we could just have nice things.
Russian tank has been dumped outside the country's embassy in Berlin
Mounjaro will have FDA approval for obesity this year. GP’s dogmatic stance that “Mounjaro is not an obesity drug!!” is soundly rejected by the available evidence.
> It's hard to say what the "entire justification" even is in this case, since the goalposts have been moved so rapidly since the beginning of the invasion that it's basically all blurry.

Is this referring to Russia in Ukraine, or the US in Iraq?
I'm watching this now, and it's worthwhile, at least if you want to profess an opinion. The section starts in minute thirteen, but if (like me) you don't really watch his podcast, it's probably worth it to start from the beginning, just to get a flavor of it.

Adams is definitely a modern satirist. And he is one in a time when edgy humor is absolutely radioactive. He has his FU money, though, and is obviously somewhat aspy (again, like me).

As to the survey question, which is the first in their survey, it's literally worded, "It's OK to be white." (agree, disagree, not sure, etc).

Those of us here are "with it" enough to realize that this incantation was born from a 4chan op (presumably meant to help uptight people look stupid). But, the survey respondents would generally be unaware of that context.

Rasmussen itself was pretty fearless in going there. Not fearless enough to add, "It's OK to be black.". But still, props given.

Adams is smart enough to know that this would be the end of Dilbert distribution in mainstream newspapers.

What's his motivation? Not sure. But puncturing the current bubble of awful isn't the worst start.

What would be better? He mentions education. Okay, start with that. What would it take to ensure that every child in America got an excellent education? Hell, even what would it take to ensure that every _black_ child in America got an excellent education? Everything we're doing right now is awful and counterproductive. We need to reset and follow the guidance of those who could plausibly improve the situation. That's not the cancel crowd.
There pretty much won't ever be a local textile industry unless you have incredibly cheap labour.

Except with protectionism, which is what gives most countries their local textile industry, but that comes at a cost - either higher prices, or wealth drained from other sectors in their economy.

Banning/disincentivizing 2nd hand imports won't create a local industry in most places, unless you do the same with 1st hand.
“Partnership with iFixit” just sounds… weird.

You were supposed to destroy the Sith not join them!
Dnieper is going from the east through Kherson.

Transnistria is west of Odesa sandwiched between Moldova and Ukraine. There is only Dniester river nearby, which goes into Zatoka gulf, which is completely controlled by Ukraine. And only access to Zatoka is choke point Pidyomnyy Bridge How any Russian ship will get there without being shot to pieces?
I believe that's right. D-Day certainly didn't go all according to plan, but without a plan to start with it wouldn't have happened at all.
Tirzepatide will have FDA approval for obesity this year. GP’s dogmatic stance that “Mounjaro is not an obesity drug!!” is overwhelmingly rejected by the available evidence.
I had set up dnsmasq once and spotted all these weird DNS requests coming out of our network. Turns out some Java installation builder software was using DNS to verify the license status of the software. They would do a lookup something like

$LICENSE_NUMBER.$NAME.$ZIPCODE.example.com

and the reply would indicate the license status.
I’d think you can get away with 5:1, a single good teacher can give a ton of individual attention to 5 kids studying completely different things on their own.
Love his writing so much. Always entertaining and informative.

> This stuff was first prepared in Germany in 1932 by Ruff and Menzel, who must have been likely lads indeed, because it's not like people didn't respect fluorine back then.
Heh, I think the level of dislike we're talking about here is different. You may not like them but it's nothing like being a Jew under the Third Reich or, perhaps, living in eastern Ukraine right now. The point at which "power comes from the barrel of a gun" becomes relevant someplace like the U.K. is a ways off for almost everyone living there, thankfully.

The worry is twofold: first, not having an armed populace now might allow things to get really bad in the future, whereas in the case where everyone's reasonably well-armed, or has the option to be, it wouldn't have gotten that bad in the first place. Second, if things are really bad at present, bad to the point that fighting seems reasonable, you want to be able to fight. Disarming now means you'll likely be disarmed in an uncertain future, too.

Our modern social democracies seem really stable, but from the perspective of a historian there is no reason to believe they are. They're infants. There's a war in Europe right now, and there are people alive who remember the Holocaust.
So Dow actually made better and more efficient use of the shoes than they claimed to?

What a scandal? This all seems like hair splitting to me, it's not clear if reuse of used shoes is better or worse for the environment than just pulverising them. Recycling has far lower value than most people tend to think it does so reusing shoes for six months to a year is very arguably more impactful.
That is very comforting - every other country on Earth can only dream of such safety
The Internet is boring because it is enormously distant from, and really quite distinct from, love, and happiness. These are the things that make life worth living
To be clear the _only_ reason that service exists is because the government passed a law that required adderal be represcribed continuously rather than having an automatic refill as you would with every other prescription.

People who need adderall prescriptions don’t spontaneously get better.

Imagine the outcry if diabetes, or heart diseases, etc drugs started needing you to get a dr sign off every month: how long do you think before the same service would exist for those?

This is very simple: congress consists largely of untrained people looking for “hard on crime” sound bites, and as long as they’re just targeting generics that aren’t super profitable it doesn’t hurt their pay days.
I something similar for climate data, but loading data from a different site was not possible due to CORS. How is CORS not a problem with this setup? @app4soft: Did you allow all origins? Isn’t this a security issue?
You know what? I like reading magazine articles like this, and I kind of enjoy the ads sprinked throughout. And yet I hate ads on the web.

Any theories as to why? Is it because most modern ads are just clickbait that want to take you somewhere else, whereas these old magazine ads were designed to be in-place, standalone, and otherwise unobtrusive? In fact, for the first time, I'm thinking about purchasing a newspaper subscription, just to see if the effect is in any way similar.

The old ads worked. Modern ones don't.

I'm genuinely curious to know if anyone else experiences this.
see: generalization
> The point of intelligence is to base statements on an investigative refined ontology

This is a very narrow conception of intelligence as kilgnad pointed out, but nevermind that. The most interesting word you used is "investigative". The most surprising thing about LLMs -- surprising nearly all researchers -- is that merely reading the internet (observation) is enough to build a model of the world. Many people thought that investigation/experimentation by an embodied agent was necessary to do so. I now think that experimentation is much more efficient, but enough observation can be sufficient. For example imagine you look over someone's shoulder while they spend years going through school learning mathematics. Difficult but not impossible to learn from their exercises and mistakes. On the other hand the world model contained in LLMs is still very deficient in many basic things such as understanding consequences of simple physical interactions, which aren't captured by online texts.
Actual code is here: https://github.com/Z3Prover/FirewallChecker

Constraint solvers are awesome.
Looks very similar to the kinds of oven stoves and heat walls in https://www.lowtechmagazine.com/2008/12/tile-stoves.html, which I found quite inspiring.
+1 -- here's a link to quickly try that out in browser: https://jupyter.org/try-jupyter/lab

Here's a completely separate Python in WebAssembly project I created, which also provides Sympy with "import sympy" being a little faster (1.7s v 1.16s on my laptop): https://cowasm.org/
> Residents and officials say Erzin suffered no deaths and saw no buildings collapse, and they credit a long-standing policy not to allow construction that violated the country’s codes.

I mean, its a high bar in Turkiye, not sure if that's something to really brag about. I'm glad it worked out.
ChatGPT is already amazing. I’ve let a smart kid loose on it and he instantly asked these questions:

1. How do you work?
2. What should I learn to understand what you wrote (I am 12)?
3. Write a script for a YouTube video walkthrough of xyz game (can’t remember).

The future is gonna be interesting.
i asked for every single hints, still cant make it, at least the future player would have more chance
> I don't think that's the main driver for most women.

I never asked if it was the only factor.

> Smart people will care about who you are, not what you have.

Smart people don't talk themselves into believing things and then resent them later.

> Good luck

Don't need it.
Remotely exploitable does not require it can be hacked without user action (although there have been many exploits which have achieved that too, e.g. Pegasus) but typically involves visiting a web page, opening an attachment, or installing an app with a vulnerability. Chrome updates and app scanning will protect against some problems, but advances are often tied to platform security features.

So really, you've made an absurd comment. If the phone is to be usable past 3-4 years it must have security patches. Otherwise there will be a pool of devices which are still in use and easily targetted.
In 2017, there was a remote exploit via the browser:

https://nvd.nist.gov/vuln/detail/CVE-2017-5116

Fortunately, this was patched. Not sure if there are newer ones
A vessel is not necessary. Most of the parts can go by standard shipping.

All that needs to move covertly is the payload.

After Cuba, this was likely carefully studied.
I couldn't find reference to NATO involvement in Syria.

Perhaps you mistake countries who are part of NATO to being NATO itself?

"just a few examples".. I expect there are lots more examples you can give? Especially if your point is that NATO is not a defensive alliance and is used to invade and gain territory.
Thank you! I hope you liked my little game
It's not considered recycling because reuse is explicitly better than recycling. You aren't supposed to equate the two because it would imply recycling was a viable alternative to reuse.
Most doctors I have had prescribing things have been annoyed when they’re having to talk to me just to renew the same prescription. Obviously there are sketch ones as well, but I assume honest doctors have to deal with people moving to cheaper doctors because the cheaper doctors are just churning prescription renewals to be profitable so can charge less. Again: the alternative to these appointments is simply having auto renew prescriptions, as most recurrent ones are.
I have the same thought. Since you mentioned it first, you've been tasked as of now with reading the selection methodology and reporting back.
Many comments below seem to be from persons “interested” in optics, but who cannot design simple optical systems using first order optics, and who have never set up simple ray tracing with basic components or 2 x 2 matrices.

Just as in electronic design with SPICE, in sizing components and choosing materials using FEA, or in fluency with ONE computer language, advanced tools are useless if you haven’t put in the basic study in the field, and have never used these components in the lab.

No program can turn you into a practitioner by itself.
From the article - a subcontractor of a subcontractor exported them instead of shredding them. It's at least 3 levels removed from Dow, and likely the Singapore Gov't that did it, as these are Singaporean companies. And they picked them up from the bins, they weren't delivered them by someone else.

What level of diligence should Dow be doing here, especially since the outcome doesn't seem to be a bad one - if anything, a better one?

"None of the 11 pairs of footwear donated by Reuters were turned into exercise paths or kids’ parks in Singapore.

Instead, nearly all the tagged shoes ended up in the hands of Yok Impex Pte Ltd, a Singaporean second-hand goods exporter, according to the trackers and that exporter’s logistics manager. The manager said his firm had been hired by a waste management company involved in the recycling program to retrieve shoes from the donation bins for delivery to that company’s local warehouse."
I've seen some quotes from animal behaviorists that it's likely related to a hard-wired fear of snakes in the feline brain. Cucumbers have the vague shape and color of certain types of snakes, which can trigger a sudden, violent reaction.
In practice, Linux distributions have been the system integrators that pull these things together and handle the gaps. That's really the value of a distribution - pulls a set of components together in a way that works.

In this case, I use Fedora (Gnome). Most things are on Wayland and it works pretty well.
You continue to get software updates on those devices forever or until the distro ceases to exist.

The lifecycle of a distro release is about how long you can get security updates without feature updates. But when a release goes EOL, you just... have another update, but this time it will include new feature releases of applications and operating system components as well as the usual security fixes.

You also don't really need an LTS for this. In the past I've run installations of Linux for much longer than 5 years on distros that don't do any kind of LTS releases at all.
In the same sense that secondhand book stores hurt authors? Sounds like a bunch of BS to me, somebody still has to make the shoes to begin with.
Given the time-dialation effects near the black hole, all that time may have passed in a day, relative to the object's perspective.

It might be as much today for it as it is for us.
If they still have the board, try booting with boot switches set to UART.

An XMODEM 'CCCCC' should show up in the serial port at 115200 8N1.

If that's the case, bootloader in SPI got corrupted. There's a rescue tool for this UART boot. It can fix that.