skysight-inc/HackerNews huggingface dataset:
My favourite take on "computer science" is from George Forsythe who founded Stanford's computer science department in the 1960s. He didn't seem to be embarrassed to put the computer into computer science.

Excerpt from http://i.stanford.edu/pub/cstr/reports/cs/tr/65/26/CS-TR-65-...:

> I consider computer science to be the art and science of exploiting automatic digital computers, and of creating the technology necessary to understand their use. It deals with such related problems as the design of better machines using known components, the design and implementation of adequate software systems for communication between man and machine, and the design and analysis of methods of representing information by abstract symbols and of processes for manipulating these symbols. Computer science must also concern itself with such theoretical subjects supporting this technology as information theory, the logic of the finitely constructable, numerical mathematical analysis, and the psychology of problem solving. Naturally, these theoretical subjects are shared by computer science with such disciplines as philosophy, mathematics, and psychology.
I think it vastly depends on what you are ordering.

We passed a ton of orders for valuable goods that were processed by small companies who used amazon as an alternative storefront to boost their sales. Communication was finnicky but everything went fine.

Then we also order a ton of cheap, little convenient stuff that we could have ordered on aliexpress but went to amazon for faster delivery. It was a lot more hit or miss, with pure junk coming in from tjmes to times.

We never hit the level of scam described in the article, but we'd also pay a lot more attention on where it’s coming from before forking 7k.
Apiezon sells a vacuum putty (Apiezon Q) that can be used for temporary seals down to 10^-4 torr. Best I can tell it's a mixture of bentonite clay and petroleum jelly.
Just out of interest, and not detracting from what you're saying, but normal fluoride also forms a compound (flouro-apetite) more resistant to avoid than normal tooth material (appetite). At least according to this chemist:
https://youtu.be/vtWp45Eewtw

(tooth chat at 5:10, but the whole video is interesting)
I have no idea how well it'll take off. I just tested it. It looks like one could be dedicated and fill it up with a list of their site's links. (I tested - and am the owner of linux-tips.us, so you can remove my test if you'd like though I tried to make it a legit submission to not sully your site.)

Anyhow, it seems like it'll end up being abused.
One of my Uni professors was working on Proof-carrying code *(https://en.wikipedia.org/wiki/Proof-carrying_code). I got a cursory involvement. Although I agree with you, the fact that there is a way forward and is entirely based in mathematics (on the formal side) makes me also agreeable with OP. I don't see a contradiction. If you talk about the more informal side- the way something is used does not necessarily define its nature.
To me it seems like there is a different trend happening - Ubuntu now has snaps which auto update and you no longer can get some software without them, whereas even Debian comes with unattended upgrades enabled in some cloud vendors.

Of course, only security update being enabled isn't such a bad thing, but in my experience and and all updates can break things sooner or later.
One more reason to quit eating pork!
According to Cambridge University, Bitcoin alone consumes more electricity per year than the entire country of Argentina, for no actual tangible benefit to the world. It creates nothing but an imaginary store of imaginary wealth.

That makes it an issue of global concern.
> Hmm... maybe I misread the Communist Manifesto or something, but I did not get this. In fact, you can almost feel his hatred about the whole idea of personal ownership.

His distaste is not for “personal ownership” but for the distinct model of property that exists in the capitalist system, which is why he explicitly casts the Communist move to abolish bourgeois property (referred to equivalently as “bourgeois private property” and “private property”; the distinct system of property relations under capitalism) as consistent with the universal historical reality that new systems of property relations and economic systems involve destroying the prior system of property relations, e.g.,

“All property relations in the past have continually been subject to historical change consequent upon the change in historical conditions.

---quote---

“The French Revolution, for example, abolished feudal property in favour of bourgeois property.

“The distinguishing feature of Communism is not the abolition of property generally, but the abolition of bourgeois property. But modern bourgeois private property is the final and most complete expression of the system of producing and appropriating products, that is based on class antagonisms, on the exploitation of the many by the few.

“In this sense, the theory of the Communists may be summed up in the single sentence: Abolition of private property.”

---end---

source: https://www.marxists.org/archive/marx/works/1848/communist-m...

> This even extends to marriage and having children

Viewing wives and children as part of a system of property relations, while very much a feature of the capitalist system Marx critiqued, is viewed distastefully even by many of the people who defend “capitalism” today, not just socialist critics.

> children should be raised by the commune rather than individual parents.

Where does Marx argue for this? Marx notes that the charge of destroying the family is levelled at Communists, and argues that this is hypocritical in that thr capitalist system has destroyed, in different ways, the substance of both proletarian and bourgeios families, and that what what Marxism seeks to extinguish is the hollow form of family that is left under capitalism, and not even that through any direct policy. He says that the existing family system would naturally fall away as a consequence of replacing the system of property and removing the class oppression which depends on it.
But, if I understand the article correctly (I only read some chapters, as the essay was dragging along in its conclusions, so I might have missed some aspects), the alternatives are not PowerPoint vs Latex Presentations (or whatever slides are used). The alternatives are technical reports and written and high density handouts (e.g., for tables or detailed pictures).

The key problem of low density is true for most presentations I considered good as well, independent of powerpoint usage. Most of the times, they are essays.

Now that I think of it, this essay would probably work well as a talk (no matter the software).
Ask HN: Passive Income Ideas?
Yes, it sounds like it. Which says something about the quality of Amazon's product, heh.
The Voids of Haskell
No, they did nothing special beyond the usual security theatre.
Back problems, bruxism, migraines - have you had yourself tested for some bacterial infection like e.g. lyme or bartonella? Just to have that excluded before treating symptoms.

I've had all of this for years (more like decades) plus different additional symptoms and got diagnosed last year. The ongoing treatment is not for the faint of heart but symptoms are on the retreat since.

PS: I've grown up in rural Germany and also had close contact to cattle as a kid etc.
VALIS is probably the most interesting book on religious experience I've ever read, fiction or non-fiction.
One Word Domains Started as a Weekend Project
Compartmentalizing email addresses for better privacy and security
Rabbit papillomavirus (creepy)

https://www.google.com/search?q=rabbit+papillomavirus&tbm=is...
> For security reasons, we can't say too much

Obscuring reasons due to security. Sounds like a security through obscurity type of thing.
In Portugal, there is some time to spend with such matters during the 5 year long that an Informatics Engineering degree takes (certified by the Engineering Order).

Since Bologna, it got levelled to Masters, but most still take the 3 + 2 years, not to be left behind the older generation that had 5 + 2 for Master.

So plenty of time to go down into the subjects that USA consider computer science.

However for those that want to really go down the rabbit hole of computer science as seen on USA, the appropriate degree is Applied Maths into Computing.
An operating system for cohort bases schools
I am trying to automate the learning and management process for a cohort based school. I am launching here with the hope that I will get feedback to improve.
If you want to send something securely, I’m not sure email is the best method. Even if you understand all the risks and pitfalls and side-step the minefields it’s still insecure in non-fixable ways. ProtonMail make a service out if it mitigating those issues as best they can (but even they explain their threat-model and what they DON’T mitigate. Others such as Silent Circle ended up giving up.

You could recommend to those non-technical people to either:

- Use Signal

- Sign up to two free ProtonMail accounts and use those to exchange with one another. That way they’re both e2e and don’t leave the eco-system. And no setting up of PGP keys and such like, and a nice web UI.

If they’re non-technical I wouldn’t suggest PGP IMHO. It’s actually easier to setup S/MIME for non-technical people (I’ve had some success there myself).

Of course part of this is that no one has solved the UX and usability and that it never reached mainstream in most ‘typical’ email clients. To set it all up you have to be fairly technical. When it should just work out of the box - like Signal.
I mostly get what I order, but I don't order much in the way of electronics or things where scams are common, though I did have to be careful when ordering a simple micro SD card as there were many incredibly cheap, off-brand products that were likely to be scams.

I have also seen a few deliveries with pictures that went to what was clearly the wrong address, had a box of chocolates arrive totally melted where the ice pack exploded and left me with a wet, melted box of chocolates, and during early Covid, I did end up getting scam toilet paper rolls shipped in from China. Oh, it was actually toilet paper, but the rolls were incredibly tiny and nothing at all like the pictures.

So... definitely hit or miss and it depends a lot on what you order.
I would never buy anything expensive from Amazon, the customer service is not adequate when things go wrong. I even stopped buying CD's from them as they would almost always arrived with cracked/broken cases. Specialist sellers, e.g. Prestomusic, actually wrap and pack them properly (and often have much better websites for buying music).
I will try to stick with remote and asynchronous work in foreseeable future, because for last year I was getting great results at work and at home.
Ask HN: As a software engineer would you do a side gig for an equity?
even just extracting the apk's and side loading then is good enough for 95% my use cases. there are show that key you extract, but you would still want something that is trustworthy though. tasker is what I've been using lately and you can automate the process a bit more.

i turned off auto updates in the play store years ago after i got stuck with an app that had some bug in it, where it was working fine before the update. now i only update and app if something is broken or if i really need the new features it offers.
I don't know why any developer in their right mind would want to expose themselves to autolayout more than necessary.
Great idea.

There is already some amount of both practical (Swift/IDEs) as well as theoretical (Bret Victor) ways that do simulation of a specific function.

What's often missing is the visualization or simulation of how code blocks, classes, modules, libraries fit together. Modern frameworks and programming languages hide a lot of detail behind layers which compound this problem.

Certainly a great but missing assist to current IDEs.
Facebook’s diff tool looked similar maybe 5 years ago but there’s been constant improvements to it in that time. There was a dedicated team maintaining and improving it. Today it bears only a passing resemblance to Phabricator.

GP’s claim that Facebook uses Phabricator is an overstatement.
I can't wait until we see Faraday cages for toasters...
Guessing this is a troll comment, true or false?
The pig sheep hybrid is actually mangalica breed and not related to sheep in any way: https://en.m.wikipedia.org/wiki/Mangalica
Does anyone here have advice for how to get others to respect or just appreciate the different need for a change in sleep schedule? Like some others here, I've tried waking up early and I feel much better for it, but then my schedule becomes a inconvenience for others around me and that leads to it slipping or indirect sabotage of it.
Thanks for the articles. I definitely don't do it the same way I process language. To use the same example- I describe a task unambiguously, which makes it a translation from written text to memory regions or execution paths. It gets more concrete than just what I know about the task. A better parallel would be to writing mathematical formulas.
When I process language, I believe, more of my brain is engaged in empathy, in trying to match context, in allowing ambiguity, storing ideas and concepts to be disambiguated at a later point.
The analogies given are kind of dumb, because astronomers don’t create their own telescopes. Computer scientists create computers and then everyone uses them to do stuff
> There’s probably a practical argument to be made against the theoretical possibility of building such a system: I think that just the halting problem is proof that we cannot implement a system that does this.

I think the halting problem only tells you that you cannot, in general, opinionate on what the program does, without expending an amount of computational effort equivalent to running that program. A better counterpoint is that you can't know ahead of time what values will be returned by IO calls.

But then, none of that really matters, because aiming for perfection is the wrong approach. You can make a tool described by the article, if you accept that it'll need to be advised sometimes. That is, at any point where the tool can't compute something - a value of a variable taken from the network, a function to call through a pointer indirection, etc. - it can ask you to give it a default value, give it additional assumption.

You'd also bound it using explicit heuristics, so it doesn't e.g. get stuck in long loops. Simulation of a marked bit of code takes more than 10ms? "Sorry, nope, can't process that." Then you could add options to annotate the offending loop, telling the simulator to finish it after at most 20 iterations. Or something like this. This tool would be a dialogue with code, not a batch job.

We know it's doable, because all such tool would do is to automate the thing we do when looking at code - running pieces of it in our head. In a way, it's just a different interface for doing the same thing you might be doing with unit tests - except it would be transient, and free to exercise any internal code in your program, not just poke at public module interfaces.
Both Germans and Soviets did target Polish university professors as a matter of policy.

https://en.wikipedia.org/wiki/Intelligenzaktion

https://en.wikipedia.org/wiki/Special_Prosecution_Book-Polan...

https://en.wikipedia.org/wiki/Massacre_of_Lviv_professors

https://en.wikipedia.org/wiki/Sonderaktion_Krakau

> Once more, the Führer must point out that the Poles can only have one master, and that is the German; two masters cannot and must not exist side by side; therefore, all representatives of the Polish intelligentsia should be eliminated [umbringen]. This sounds harsh, but such are the laws of life.[]

[] https://archive.org/details/adolfhitlerevilm0000altm
Dry ice is even better. No evidence.
Nuclear is great, as long as it’s in your backyard.
It obviously has value to the people who are involved with it. We don't decide if other people are allowed to do the things they're interested in by comparing their activity to something in Argentina. If you are able to say precisely how some particular person or organization is harming you, I encourage you to file a lawsuit against them. If not, I encourage you to take up some kind of spiritual cultivation practice to help you not be unduly concerned about the activities of others.
What to Name a Bunch of Black Holes? You Had Some Ideas
Definitely has not been my experience. I've been an Amazon customer since 1999, and I got Prime pretty much as soon as it started (I think they had a promo for students back then). I've spent tens of thousands of dollars with them, easily. I continue to have very few problems with orders or deliveries, and on the rare occasion when I do, it's resolved quickly and easily.
> At the end of the day most big companies have found its a better strategy to trust/not dispute customers in these situations.

The article we're responding to, not to mention the comments, is evidence that that is at minimum an unreliable assumption.

Re your second point, the seemingly standard way of resolving these issues after the company refuses to comply is to make it a PR problem for the company. Videos are going to help for that.
Fair enough, though TVs don’t weight 3 lbs!

The thing that confirmed for me that this was a camera was the domain of the article, which relates to photography. As others have noted, Sony’s naming scheme is confusing.
This is good thinking and I am sad to hear that it is unconventional.

And now I'll contradict the part of what you said about finite structures: At a theoretical level, the field deals with infinite structures, namely the Turing Machine tape and infinite time. We use finite Computing Machines to simulate a finite section of that tape in a finite time.

Maybe we should call it Turing Machine Science, because we use computers to study the behavior of programs in Turing Machines, just as astronomers use telescopes to study the behavior of atoms in stars and particle physicists use particle accelerators to study the behavior of elementary particles. We will never touch those particles, stars, or Turing Machines, but we can know them, hence the science.

Software engineering is like using one's understanding of the emissions of the sun to design better solar panels. Very practical, but you don't use your understanding of gravity-driven fusion reactors every day.
It takes very serious money to advertise for consumers to know this alternative is available. And with the much smaller number of drivers it probably won't be as good an experience as Lyft/Uber.
One awful dark patterns are instagram notifications "you might know XXX is on instagram", which have no options to be turned off in their settings, you would have to turn off all instagram notifications.
Say hello to the next phase in IoT/"smart" anything madness: Devices that are hardwired to the Sidewalk network and are practically impossible to take offline...
Those things are why I said close to sufficient, not sufficient. For best results you will want some other form of behaviour analysis also. But reCAPTCHA suffers from serious problems too; it’s easy to find turn-key reCAPTCHA-solving services at under $1 per thousand. So reCAPTCHA is a deterrent, but far from inviolate, and for most of the kinds of attacks we’re talking about here it’s not even a particularly severe deterrent. (It would be for comment spam, since the value of each attempted submission is negligible, but for credential stuffing the expected value of each attempt is much higher.)
> Tweets by darkpatterns Your browser does not support JavaScript so you can't see our tweets here.

Irony.
Order of magnitude, based on the context.

Not like Out of Memory, like in a Linux process.
It’s distributed Postgres. The same reasons you would use Cockroach or Citus instead of stock Postgres also justify using polar.

Given that there’s multiple companies that exist to scale out Postgres, someone sees business value.
I wake up at 06:30 to make my kid breakfast and get him to school on time. Maybe I would be less depressed if I got up another hour earlier.
I don't think that's a fair comparison. Age was never meant to fully replace GPG, so complaining about missing features it was never meant to have doesn't make sense.

The only valid criticism is about its handling of corrupted data, but for that too you can use an external tool like PAR2 to generate recovery data. I do this with my GPG backups and other data as well.

I like that age follows the Unix "do one thing well" philosophy, and that I can use other similarly scoped tools for other features. There are still some things I'm missing, but these are slowly being worked on[1,2].

[1]: https://github.com/FiloSottile/age/issues/137

[2]: https://github.com/FiloSottile/age/pull/132
Seems to me that this would be true mostly the other way. $7k is a gigantic amount of money, most people would not let that slide.
> computer science is a branch of mathematics that deals with large but finite structures (so they need an algorithmic description)

Another way to put this is that computer science deals with mostly constructive mathematics (more precisely, mathematics that uses intuitionistic logic, the kind that is natural to most programmers and computer scientists anyway). For instance, when you prove the fundamental theorem of arithmetic, you actually can translate that into an algorithm for factorizing numbers into products of powers of primes. And the converse holds too, an algorithm is a proof! If you can give me an algorithm that, given a number n, always produces a prime bigger than n, then that actually witnesses the infinitude of primes.

Constructive methods are everywhere in CS, for instance, to prove a proposition P, it's possible in classical math to say "assume (not P) is true, then derive a contradiction, hence P", however that would be really unnatural in CS! You never hear "I want to show an algorithm to solve P exists, let's suppose it's not computable, ... contradiction!", because you don't end up with an algorithm at all (what you proved instead was that it's impossible for an algorithm to not exist, without saying what it is). Likewise, you if want to show some number/program/data structure has the properties you care about you almost always give the description explicitly.

For more information, I'd say that type theory is a great intersection of math and computer science in a way that's quite accessible to programmers, since we're already used to this kind of thinking, even if we weren't explicitly taught it.
Hell would be full before you got very far. Intentionally or unintentionally, this is how most such systems work... even ostensibly noncommercial ones... at least to some extent.

Business systems are a chain of events. Every event has x% chance of happening and leading to the next one. If the next event makes money, it's optimized up. If it costs money, it's optimised down. Efforts to pay unclaimed rebates are never as enthusiastic as efforts to claim unpaid receivables. Thus is life.
I don't know about that particular history, but naming things is hard and naming cafes and hotels based on foreign places was kind of customary. "Cafe Wien" (obviously nod to Viennas Coffee house culture), etc. In Germany at least the Country + Hof combination is still fairly common for established hotels ("Englischer Hof", literally "English Yard/court").

So I could very well imagine that someone founding a Cafe looked at which names were already used in town and settled on "Scottish", maybe also due to 'underdog' sympathies perhaps with Scotland (?) but that is pure speculation on my part.
Signal is an instant messenger ... which is fine, but sometimes you really do need the extra security provided by an offline messaging solution like OpenPGP. The Cellebrite thing was a good example of this. Cellebrite doesn't get OpenPGP messages as they can and are usually protected by a passphrase. Cellebrite gets Signal messages.
Getting started with Distributed Ruby (DRb) (2015)