skysight-inc/HackerNews huggingface dataset:
This is not an international difference, everyone coming out of a non-urban public school system will know how to factor a quadratic equation. It is typically taught year 1 of highschool.
Or sabotage, as in Stuxnet.

Or privilege escalation, so that an insider threat can do more damage than otherwise possible.

I don't think "it's airgapped so vulnerabilities don't matter" really holds water.
Vaadin does a good job, but if you adopt it as for your product, the problem is finding people who know how to use it.
Sometimes literary magazines only make it because they're being funded by parties with an agenda. This needs to be a worry for any such magazine. (Ran into an archetypal example from 1934 yesterday - Shut down after a couple of years, then restarted with new funding and a 'new POV': https://en.wikipedia.org/wiki/Partisan_Review : not revealed until decades later)

As with the 'free newspapers' of the 1970s and today's many lesser-known podcasts, true lit-mag independence is made possible by the support of a smallish community (including creators and producers). 'Success' changes people.
Counter-argument: do you really think NSO would release their 0-click exploits to an on prem product that they have no control over?

Citizen Lab reports show significant involvement of exploit delivery cloud infrastructure + plausible deniability.
For proof based homework typically a grader will tell you which step failed with a short note saying why ("this mapping is not well defined", "here is a counterexample", etc)

It is cryptic at times bit ultimately developing rigor and intuition is something that in my experience will always involve a certain amount of struggle and confusion that no professor can or should alleviate
Interesting. I found this link: https://portlandpress.com/clinsci/article-abstract/135/17/21...
Was anyone arguing that they aren't? I'm sure you had a point behind these questions but I honestly don't get it. Could you please explain it?
I've mostly switched to Go for new projects, but if that weren't the case I suspect I'd be using Deno a lot. The biggest downside I can see is the lack of packages, and I normally avoid dependencies like the plague so that doesn't really bother me. I'd guess any useful enough to justify their existence will be ported soon.
Is this mentioned somewhere on the page? I was wondering what they do.

I commented yesterday but I'll say it again, this is awesome.

This entire thread is great and a true inspiration.
> I didn't even bother to read the books on the syllabus

You do realize by implication that you have not engaged at all with the non-trivial part of doing scholarly-level work in the "softer" disciplines, right? Any course can come with relatively "low" standards of assessment.
The Linux Kernel is a product and the Linux Foundation is it‘s vendor. I would assume they mean Them. Especially when they had Red Hat and Cannonical in „other“
I know of a doctor named Carolyn Dean, but there's @grimhood on Twitter who has a lot of compiled info about the role of magnesium and some recommendations (not only on magnesium). Start with https://twitter.com/search?q=from:grimhood%20magnesium.
> 60-70 hours

At Caltech, the expectation was to spend 2-3 hours studying for every hour of lecture. I found it to be pretty accurate, spending maybe 50 hours a week total. I was never bored :-)
The problem is "advertising" is an ambiguous term (like "freedom" or "justice") that is used to obfuscate what is happening.

Advertising to consumers is "show me a picture of a product" yet to the advertising companies it is tracking and forming a detailed dossier for every person on the planet and selling it to the highest bidder.
To be clear, we're talking about funding of the arts here. Without going down the rabbit hole of debating all of your critiques of the civil servant, if you really have this view of the public sector of the government of the US, then public spending on arts funding is pretty far down the totem pole as far as problems go.

I will say I think your general picture of civil servants as a cabal of lobbyists and special interest does apply to a portion (arguably a disproportionately powerful portion) of them, but the population of civil servants is huge and is definitely not monolithic.
i've been bouncing between firefox and vivaldi lately, I think i've made up my mind
The proofs in standard Euclidean high school plane geometry are a perfectly good introduction to how to write proofs. A good next step is just a college course in abstract algebra -- sets, groups, rings, fields, prime numbers, the fundamental theorem of arithmetic, the fundamental theorem of algebra, Galois theory (why with Euclidean construction it is impossible to construct a square with the same area as a given circle), why the square root of 2 is irrational, the Euclidean greatest common divisor algorithm, the Chinese remainder theorem, vector spaces, .... Here there are essentially no prerequisites.

The results proved in an abstract algebra course are often just embarrassingly childishly simple so that getting a solid proof is easy. For the issue of writing style for proofs, just pick that up from the text. E.g., usually say since instead of because. The proofs in abstract algebra and, really, the rest of math, are really essentially the same as in high school plane geometry but just written in a less rigid style.

If want a theorem proving course in calculus, first take calculus where theorem proving is not the main content, then take abstract algebra (where will use no calculus), and then take a theorem proving course in calculus, e.g., from W. Rudin, Principles of Mathematical Analysis. With this sequence, should never be without prerequisites or in doubt about the reason, point, value, or intuitive view of the material.

Yes, the Wiles quote is really good for describing research, but learning need be nowhere nearly that challenging.
Scala 3: Capture Checking
Because with complex numbers you are implicitly defining a point on the complex plane. So how on the Cartesian plane you can have 2x + 3y, and that defines the point (2,3), you can have 2 + 3i on the complex plane defining the same point.

If you want to rotate the Cartesian coordinate -90 degrees,

x' = x*cos(π) - y*sin(π) = -y
y' = y*cos(π) + x*sin(π) = x
2x + 3y => -3x + 2y

So check it out:

(2 + 3i)*i = 2i - 3

It's the same as rotation!
Show HN: Breeze – guitar tab search to find better chord arrangements
Cutting them out makes it more likely that the resulting law won't actually work IMO.

Nobody understands the ad industry better than advertisers. Incentivize them to compromise and we're more likely to get something that actually works than incentivizing them to get creative in finding legal loopholes.
The artist doesn't decide the art's meaning to me (or you). Once the art is released into the wild, it's out of their hands. It's like an open source project, in a way, (or any software release): you release it and then everyone uses and modifies it in different ways, many of which you never imagined. It's not yours anymor; it belongs to the users.

I think what is interesting, and most valuable, is that people will find one way or another to attack any normalization of non-cisnormal sexuality. Why is that?

(Also, one example doesn't prove anything.)
>How does that compare in dB to a road?

Even if it compared it wouldn't make it much better, because those islands don't have any sizable traffic on roads - and almost insignificant near those villages.

So, its like suddenly they have to put up with road-level noise (if not worse), on their remote village in some remote island - and not even from their own cars.

At those distances it's like suddenly all around your village there's a airconditioner-level noise... Mighty annoying to people who have enjoyed mostly nature-level silence for all of their lives...
The first thing I do on new Quectel firmware is the check with Ghidra. I don't use the insecure Linux modems, just the baremetal modems. Which are actually 2 CPU's with 2 firmwares. The modem itself is either a Broadcom or Qualcomm RF chip with all those AT commands and its completely insecure AT parsing via internal UART. The main CPU is best used baremetal, which is much more secure and needs much less energy than the Linux variants. I fixed dozens of security issues in their SDK, but still prefer it over STM, Atmel or Raspi.
Ask HN: Why take animals to Mars and increase the risk of a pandemic there?
There are hundreds, you'd have to play whack-a-mole with myriad VoIP and second- and third-tier wireline providers to get them all. And that presupposes that the accounts are even legitimate. A lot of robocalls are delivered through hacked SIP credentials.

I know people like to pick on them because they do seem to turn a blind eye to all but the most egregious spammers, but Twilio is only the source of a lot of spam calls because they are a large carrier in their own right. It's like all of the people moaning about Californians being the most common place of origin for people moving to their area; that's true, because California has the most number of people.
For sure. I'd legitimately love to get inside their heads and see what makes them tick because it's a completely foreign mindset for me.

I saw some recently on twitter who were discussing how they run their relationships like a corporate business... They have standups, 1on1's, scheduled relationship sync up meetings, etc. As if doing this bullshit during their day jobs wasn't enough.
No. In Britain, to even own a gun, you must argue that you have a “good reason” to do so. If you don’t have a good reason, you won’t get the license. In US, guns ownership is considered a right, and you do not have to justify why you want to exercise this right.

Second, the ownership license does not entail right to actually carry the firearms. Brits used to have this right, but it’s now gone forever, especially as handgun ownership is effectively banned altogether anyway.

UK only has twice as many guns per capita as Poland, by the way, and I think a lot of it is actually a remnant of era when Brits had more freedom.
> What alternative would you propose?

Stop worrying about what companies want and focus on your users. Advertisers are not Firefox users. Firefox users want to block ads, not have sanctioned tracking.
Purpose of life is reproduction
Reproduction is easier in engineered environment
Yeah, Computer Engineering is that twilight area between Computer Science and Electrical Engineering where you care that your algorithm is PSPACE-complete but also need to know how it's affected by parasitic capacitance, right?
Even back 20 years ago I was monitored by my ex-spouse by them simply watching the bank card transactions then calculating travel time. It was (or evolved in to) a full-blown anxiety disorder.

It’s easy to imagine that this higher level of easy surveillance is going to efficiently send others down the same path.
Even CSS is turing complete. Have fun.
> flagrantly infantile

Why do you feel the need to utterly dismiss other points of view, straining to leave no avenue for intellectual curiosity or discussion?
On the other other hand, those islands and places didn't have any significant traffic.

So, it's not like an additional similar noise to what they've been used to, just less polluting and dangerous for their cat. It's a new noise level they're forced to put up with.
Everybody has a need for magnesium and MOST people are deficient. Searches will give you a less dramatic percent, but those are measuring serum magnesium, while the important number is red blood cell magnesium.

I don't know if that's enough for everyone, but the other major factors are also evident: excess weight, lack of exercise, chronic high blood sugar, etc.
IMO it's always fine to be creative when listing a past job title, PROVIDED you are trying to provide more accurate information and not deceive. I've had titles that do not at all accurately reflect my day to day, so I list them as something more topical. However I will never portray myself as having more authority nor more day-to-day experience than my title would have otherwise conveyed.
MIT is a big place, there's lots of people there who don't use julia, and I don't think there's any structures in place to stop MIT people from making new languages (nor should there be).
Hilarious. $65 for a pack of index cards and a block of wood.

Good on em if they can make this work. It's genius. For all the wrong reasons.

I started worrying about "my method" when I was 14 and back then my revision time largely involved colouring in new and increasingly complicated revision timetables.

35 years later and I've finally nailed it: stop fannying about with endless "techniques". Stop procrastinating with the latest task fad. Stop buying new software, new hardware, new (lol) blocks of wood and index cards.

Instead, just do. The. Work.

It might involve a notepad, it might involve a task app. But either which way, push the how to the back and bring the do to the front.

Turn off email. Turn off your phone. Turn off notifications.

This is the true way that work gets done.
Fans occasionally kill your birds and the neighborhood bald eagle.
> For example, though we were provided with practice problems to prepare for our exams, we were never given solutions. My class consistently begged my professor for these, yet all he could say was that not providing them was departmental policy, and it was out of his control.

My experience 10 years ago was that you need to go in to the "offices hours", or whatever they are called at your university and walk through problems with the staff. Even if they can't share the solution to that particular problem, they can walk you through a similar one.
that iOS vs Android table kinda makes no sense as they said

iOS 76, Android Samsung 10, Android Pixel 6

>The first thing to note is that it appears that iOS received remarkably more bug reports from Project Zero than any flavor of Android did during this time period, but rather than an imbalance in research target selection, this is more a reflection of how Apple ships software. Security updates for "apps" such as iMessage, Facetime, and Safari/WebKit are all shipped as part of the OS updates, so we include those in the analysis of the operating system. On the other hand, security updates for standalone apps on Android happen through the Google Play Store, so they are not included here in this analysis.

so kinda what's the point of putting that column there? people will use it as an argument that Android is safer :P
Thing is, within the banking industry, these end up being fairly standardized titles. Titles mean less across industries, but within an industry, there's some consistency. In fact in banking, these are more standardized than tech industry titles are.

Typically at banks, the ranks are: analyst, associate, VP, managing director. Everyone eventually gets to VP, so it's not a particularly high level. It's similar to how tech companies have a level everyone is supposed to reach (often "Senior"). So, analyst is an entry-level role, associate is a mid-level role (2yrs experience, or a higher degree), and VP is a terminal role. VP is a wide band, though, so there's often sub-levels within that (whether publicly visible or not): managing director is a very high title at a bank.
The generic (Atorvastatin) is widely available for $15/month or less in the US.
I also have Copilot running, and I was surprised when it had pretty good autosuggestions when writing proofs in Latex! A lot of times it has subtle logical errors in the proof, but the syntax is always correct. And there have been a few times when it gives a sentence or two that's exactly right
this is a moot point as ts-node exist. What's lacking is native esmodule support.
Why is that highly likely?
But that is part of the point: there is no programming tool to compile natural language into code. Instead, a programmer has to convert the natural language into a formal language that a compiler can deal with. You know all those nifty refactoring tools? They're treating the program as a construct in a formal language---they can make specific changes without altering the meaning.

Oh, and there is nothing tautological about it, at least as far as most programmers seem to work.
As a regular reader of it for many years, I'm pretty confident you haven't.
Trying to plan things with only solar panels has this Puritan work ethic feeling for me.
You're the one who brought it up. Just because their behavior isn't as bad as it could be doesn't excuse their bad behavior.
Yep, low potassium is perhaps why HBP is correlated with high sodium intake, which I understand displaces potassium. That's basically the typical western diet: high sugar, high sodium, low magnesium, low potassium.
> he only needs cocaine as a stimulant to his thought processes when he is not working on a case

To GP's point, this is essentially the same reason stimulants are prescribed for the modern sufferer of ADHD as well.
Sorry, that link looks to be dead!
The cost of re-certification of the modem with a new firmware is nothing for Apple, but way too much for a smaller company like Pine64.
How would you produce fuel and propellant on the Moon? SpaceX plans on producing methane and lox from water and CO2 on Mars.
Thanks for bringing that up! I suspected that nix did that, but wasn't sure. This language is also a "task runner" (being used for build systems mainly), so it's not surprising that it behaves like nix does.
I think you're overselling it, but not by much. Indeed, ZTA is not a destination.
Is this business viable anymore? Don't we have the Yamanaka factors to reprogram any kind of cells to various levels of undifferentiation? Sounds like an investment with guaranteed zero return at some point in the near future.

Also as ohter say there are public banks for these in many european countries and the cost is ~ $1000 (but they are not available for everyone). There is also a perception that these companies are selling a service that won't be needed - just feeding off the hopes/fears of young parents.
What a sad state of affairs when pushing back against the bullshit spread by the very prolific reactionaries, albeit polite (which is all that matters here), of this site sooner or later gets one banned. To add insult to injury most of them have been posting on HN for many years.
After you get the "certified" product up and running maybe look at selling it as a kit for the DIYer.
I didn't know about snooze as an email feature, but a quick google shows it as something for gmail? Is that what you use?

I see that there are 3rd-party solutions for MacOS. MacOS' Mail doesn't have that feature that I'm aware of. (I use a powerbook.)
I use Sonoff S31 smart plugs, flashed with Tasmota and connected to Home Assistant. It allows fine-grain monitoring of anything that plugs in to the wall, even if you disable the remote on/on switch (like for the fridge/deep freeze).
LED bulbs use basically nothing and so can be removed from the equation, then all that’s left is built-in temp/humidity/air units and car chargers (though most of those have great metrics built in)
There is a long history of feudalism and ignorance and illteracy, of starvation and war. What does that tell us?
There has been a significant amount of work in this area. One of the most notable breakthroughs was from Shinya Yamanaka (and his lab) in 2006 & onward where they defined a core set of factors that can be expressed in adult cells to convert them back to embryonic stem cell-like states [1,2]. These cells are commonly referred to as induced pluripotent stem cells (abbreviated as iPSC's if you want to google them). There are a bunch of folks working on potential applications of the technology, but as you might imagine, it will take a lot of work the demonstrate safety & efficacy.

[1] https://en.wikipedia.org/wiki/Shinya_Yamanaka
[2] https://pubmed.ncbi.nlm.nih.gov/16904174/
Unless batteries get easier to change in an EV, I am not sure that this is a good idea. It's just gonna put extra cycles on the battery chemistry which is finite to begin with.
>myself "I'm the worst ecological disaster this planet has ever seen."

Really? Worse than an asteroid strike, a massive volcanic eruption, a massive flood? Blights and other naturally occurring diseases that have wiped out entire species are much worse ecological disasters than building an entire Manhattan.

If you building was the worst thing that ever happened to that planet, it wasn’t modeled as a real planet in the first place.
This Jeff Atwood article (via the links below) is nice: https://blog.codinghorror.com/core-war-two-programs-enter-on...

The original Scientific American articles which introduced Core War are at http://www.koth.org/info/akdewdney/ (via https://news.ycombinator.com/item?id=12566384, but no comments there). Scans of those articles (via Atwood) can be viewed here: http://www.corewars.org/sciam/

Only a few past discussion:

The Core War Game Implemented in C - https://news.ycombinator.com/item?id=14442325 - May 2017 (1 comment)

The Halloween Core War Tournament - https://news.ycombinator.com/item?id=8505573 - Oct 2014 (1 comment)

Core War Tournament – Spring 2014 - https://news.ycombinator.com/item?id=7804141 - May 2014 (11 comments)

Two Programs Enter, One Program Leaves - https://news.ycombinator.com/item?id=2462535 - April 2011 (37 comments)

Core War: Two Programs Enter, One Program Leaves - https://news.ycombinator.com/item?id=153505 - April 2008 (8 comments)
I want to use Elixir more for my side projects but it's honestly really easy to get going with services like Vercel or Netlify and SvelteKit. Also coming from Next.js and SvelteKit, I got kind of used to the file-based routing and it creates some friction for me when trying to use Phoenix.

I want to contribute some sort of guide to the community for people coming from JS metaframeworks, rather than Rails/MVC frameworks, but I feel like I need to use Phoenix more first. I'm just about finished with Sophie and Bruce's book!
Perhaps I'm in the minority here, but I don't necessarily feel that having a large tiktok following is a plus for a medical service provider.
If you live in the EU, I believe that YouTube is forced under law to ask for your credit card number as part of verifying your age. Thank your country's lawmakers and the Audiovisual Media Services Directive.
Ah, it's Invidious, an alternative front-end for YouTube (no ads/tracking!) ... another host is here: https://invidious.privacy.gd/watch?v=f7DQ3SgSg0c
For the versioning thing: each of those would presumably pull from a different url, so they’d be fully independent. That might result in redundant downloads, but that should be fine, because we’re not talking about the front-end. Deno has no knowledge of versions, just urls.

The permissions model may have been a mistake. In my own projects I find myself just doing —-allow-all constantly. I could see it being useful for a hardened production server that eg. should only have access to the network, but I think permission-denial may have been better than permission-granting. Maybe they’ll change the CLI around this at some point.
How AI is teaching card sharks new tricks
Any time an iPhone, iPad, or newer MacBook sees an AirTag, its location is reported back to the owner. Apple devices are so ubiquitous that you can effectively get real time tracking anywhere in the developed world where there are people.

Similar products like Tile have existed for years, but their real-time tracking abilities are poor because they rely on a network of devices that have their app installed and running in the background.
This is really interesting! I had no idea about this industry but it seems fascinating.

Are you hiring?
This sounds like Halide [1] which I think is also from the same group in MIT. However, Halide is an embedded DSL in C++. It sounds like ATL being based on Coq would be more likely to always produce correct code.

[1] https://halide-lang.org/
Man this is cool but they treat the language like a research project.