skysight-inc/HackerNews huggingface dataset:
One interesting thing that this didn’t catch was my CMS, Craft—which I think is a signifier that Craft didn’t leave a lot of fingerprints.
yesterday I exported and closed 706 tabs in Android Chrome. Natively, you can't export/bookmark tabs in bulk on Android. I used adb to get json list, then converted json to csv and a custom python script to get an HTML file from the csv and export them to a folder in Bookmarks Bar.

Now, thinking of using some newsletter automation to deliver 5 links from those folders daily so that I can remove them over time.
> The bigger question is why does a COBOL dev accept work for 60k when they could make 120k in Javascript?

Structural unemployment due to ageism?
Game of Life was the first computer program I wrote exactly 50 years while in high school. It was in Dartmouth BASIC on a teletype to PDP 8(?) at some local college.
The article specifically proposes using light for transmission between components (not storage), with the efficiency benefit of multiplexing (albeit not mentioned by name). As I read it they're talking nanoscale fiber optics, not optical transistors and memory. This sounds pretty reasonable to me, and your comment seems to not address it at all.
Tbilisi? :-D
It doesn't matter it’s slower than C/++ or Java . In fact, that’s an advantage; you want your algorithms to be fast because they’re actually good, not just because your hardware is fast.
I think you completely missed the point on what algorithms are.

You might look at this answer:
https://www.quora.com/Why-is-Python-not-a-suitable-language-...
Emacs as Malleable Software
We in the DoD are very intent on ensuring that we don't have single point of failures or the ability for an adversary to cut access to our capabilities. That especially includes compute/store.

So Global high availability (Hybrid multi cloud) and no vendor lock are pretty important.
"Change" here means "hospitalizations per day", which is exactly what I meant. Seems like it's your grasp of the English language that's "folkloric", not mine. NY no longer projects that they will need anywhere near the capacity they already have.

Cuomo, BTW, then proceeds to talk about how models were total horseshit. He doesn't quite characterize them as such, choosing instead to give credit to his own response, but nearly all of the models he quotes assumed the current levels of mitigation.
https://docs.lookingglassfactory.com/Appendix/how-it-works/
>> You need to first edit the file, fine, you can use vi. Then you need to go into ISPF (or TSO) on a 3270 terminal to submit the batch job that compiles the code (and possible runs it). Then you need to go into SDSF to view the results of the compilation.

Well, I don't know how you can avoid that part, i.e. submitting a batch job and looking at the results separately. SuperPaintMan describes an alternative but I'm not sure how this works. When I was working on a mainframe, it was like you say, except I couldn't edit files remotely with vi - because big financial corporation security :)

To be fair, I didn't try. There probably was a way. I didn't mind the editor I had on ISDF, EZY editor. The only annoying thing was that, if I understand this correctly, EBCDIC doesn't have an end-of-line character so I couldn't just control-End to go to the end of a line, I had to use the arrow keys or touch the mouse (yuck!).
Far-right terrorist ringleader found to be teenager in Estonia
fb has been caught granting advertisers direct access to user data. So maybe they don't now, but there is reason to distrust them.

Google has never been caught doing anything of the sort but even sophisticated and savvy commentators like those you find on hn have a hard time distinguishing between the two companies, for reasons that escape my understanding.
G.E. Moore didn't disappear from history. His Ethics (1907) and Principia Ethica (1903) both remain widely cited. His naturalistic fallacy remains a major tour de force in ethics[1], and his moral "super-objectivism" was studied and critiqued throughout the 1900s by every heavy hitter out there: from Geach, to Anscombe, to Foot, to Lawrence.

> ... but through the second half of the 20th century interest went into serious decline

I wish Monk were more clear here. Basically all of non-natural moral theory (virtue ethics, objectivism, Kantian ethics, divine law in theological circles) went into a nosedive. Seriously, read Ansombe's MMP[2] and you'll see how disillusioned she was with the state of moral philosophy -- which was, at the time, mostly interested in linguistic and logical puzzles: is "good" descriptive, predicative, commendatory, attributive, or what-have-you.

[1] https://plato.stanford.edu/entries/moral-non-naturalism/

[2] https://www.pitt.edu/~mthompso/readings/mmp.pdf
"Ruby could have been Swift"

Swift's raison d'etre is mobile development
Arguably people shouldn't be doing dangerous stuff because if they get into an accident, they might end up occupying hospital resources (ICU and/or staff) that could be used to treat someone suffering from the pandemic instead.
Google without any content to list will be kinda useless.
As a user, a search engine that decides to not list some content for this kind of reason makes it a quite bad search engine.
does France get tax revenue in this scenario? Usually corporate expenses are tax deductible, ie you only pay tax on profit.
Did you also notice an European brain drain?
Ways to surf some of the decentralized web
I’m not sure why that’s explicitly mentioned, I believe that for analyzing security, TC is a bit of an academic red herring. (Warning: not an expert.) There are two kinds of security implication to consider here I think.

One, can certain input data cause a large usage of computing resources (processing time or memory)? Non-TC mechanisms have repeatedly failed this test: ZIP bombs and XML entity bombs are notorious examples. On the other hand, you can easily put a resource cap on an interpreter of a theoretically TC language and be safe.

Two, can the untrusted code access resources that it shouldn’t (memory, files, sockets)? That’s mostly a quality of implementation issue, not one of Turing completeness. JavaScript interpreters have certainly been vulnerable to various exploits, but so have JPEG decoders. I don’t think TC is the issue here. (However, this is complicated a bit by side-channel attacks à la Spectre. I’m not sure how TC factors into those.)

In summary, I’m not convinced that Turing completeness is all that relevant for security. Am I wrong here?
Show HN: WebWorker.app – Create your own message board
I don't understand a lot of things about browsers, including why they don't log/persist caches of the full content of all history (for full text search at the minimum), why they still send user-agent headers, why they persist all cookies for all domains by default, et c.

It's making me rather cynical, because I'd like to think that browsers are user agents, but I think these days they're just advertising company agents that happen to run on users' computers.
This compelled me to write a quick Game of Life implementation. This is nearly 40 Lines of Code in Classic BASIC https://repl.it/@amasad/conways-game-of-life

RIP John Conway.
I used to live around the corner from Tom's Restaurant in the 1980s (it's just south of Columbia University), but I think I only ate there once. When I saw it later on Seinfeld it looked very familiar, but it took me a while to convince myself that it was actually the restaurant from my old neighborhood.
Also it at least implies a guaranteed resource leak / DOS capability, which is a problem though it may or may not be considered a security issue.
It's the Java 1.4/Java 6/Java 8 problem all over again. Big companies refuse to keep up with the base languages, and important parts of the ecosystem (e.g. Spark) fall behind the language.
It doesn't help that the Reference still hasn't been updated to describe how 'use' paths work nowadays (for well over a year now).
I think I understand what you mean now.

While the noise cancellation is active it will attempt to neutralize (destructively interfere with) sounds from the outside, including those generated by your speaker. You could indeed adversarially engage through something like a spontaneous phase shift (so the interference will become constructive, making the resulting signal louder) or generating a frequency the ANC can't compensate.
When I am researching on a topic, I middle-click all branches from my main thread of research, making a window a topic and all of the tabs my "to read" list. Most of them can get closed as I read them.

The web is a tree of links, but my reading is linear, so I have to queue the nodes discovered in a linear fashion for reading.
At least theoretically, it means certain inputs can cause infinite loops, which, thanks to Turing completeness and the undecidability of the halting problem, means there’s no way to detect in advance in all cases.
This seems like an alarmist article. Don't let big tech expand their reach and power. How is big tech expanding their reach? They never dived into specifics of what big tech is doing the they disagree with.

People already willingly give all their location data to Google and Apple as it is, people always have their phones on them. The least these companies can do is also use it for good.
I've found that this approach often backfires and makes people lose interest in TLA+. Telling people "it's not programming" tells people they can't use their intuitions for programming, and that they have to be "good at math" to learn TLA+. Neither is true.

(Also, Haskell isn't my strong suite, but aren't those completely different statements? Haskell functions are closer to TLA+ operators, not TLA+ functions.)
Writing a Mutex package for Swoole, want some feedback, what you think?
I learned TP during college and thought programming professionally would be simple like that... Ignorance is bliss right?
> We went to the moon and back on this kind of severe limitations

Adjusting for inflation, NASA spent $283 billion going to the moon[0]. I can't be bothered to find a breakdown of how much of that budget could be directly tied to writing code, but I suspect that the investment was a wee bit higher than a rando frontend dev slapping together some libraries in 2020.

[0] https://www.planetary.org/get-involved/be-a-space-advocate/b...
https://github.com/ferrous-systems/sealed-rust

Awesome
how come you have to ask this stuff at the end? wouldn't it make more sense for this information to be provided up front? what does it matter if i'm technically qualified for your job if your team size, structure, tech stack, required availability, etc. isn't a fit? why would you wait until after a tech screen for this? seems like a waste of everyone's time.
I do research in this space professionally.

The answer is not always, but sometimes: discovering unintended states or transitions in the execution contract of a program is a common building block for exploits. However, proving that the execution contract of a program can be coerced into representing computations in a TC language doesn't necessarily prove that you can do anything interesting.

Complex formats like PDF are a good example of this: you can probably contrive a PDF input such that the parser's state represents a minimal (and TC) language while interpreting it (e.g. a language with a few mathematical operators and a "store" primitive), but that doesn't magically get you network access or arbitrary memory read/writes. You need to show that said language, when programmed in, can affect the overall execution contract in a way that violates high-level assumptions.

Some resources (FD: my company's) on the subject:

* https://blog.trailofbits.com/2019/11/01/two-new-tools-that-t...

* https://blog.trailofbits.com/2018/10/26/the-good-the-bad-and...
Please don't take HN threads into flamewar. It leads to predictable places, therefore tedious ones, therefore off-topic ones.

https://news.ycombinator.com/newsguidelines.html
Wikipedia page still not updated http://archive.is/NieYz

maybe confusion? let's hope
Cellular Automata got me into computing a few years ago - it's amazing how the Game of Life and other CA's are Turing Complete.
So many people will miss him.
Both can have exploits as you've shown, but you haven't addressed the difficulty of securing one or the other. Turing complete systems have a dramatically larger state space than non turing complete implementations and so at a fundamental level are more difficult to secure.
Unfortunately, nothing works that effortlessly in software.

Re-writing an existing algorithm is one thing, but even that is likely to be a big source of new bugs, given that Cobol is actually a quite low-level language and much code will rely on its specific view of a mainframe's architecture.

The bigger problem is that any implementation of complex business logic is going to depend very heavily on the facilities provided by whatever language it's originally implemented in (Cobol, in this case, obviously). A direct translation to a new language is likely to be completely impossible. And the bugs will grow in all the semantic gaps between the old language, and the new.

And that's before considering that, for Cobol in particular, the Cobol code itself is only half the story. Cobol programs run as batch jobs controlled by JCL ("Job Control Language") which often means that crucial aspects of businees logic are spread over multiple files in _two_ languages. And the JCL part is a mess. I didn't mind Cobol when I was working with it, I even came to like it a bit actually. JCL is really, really awful.

But, aesthetics aside, where does all the JCL-encoded logic go? Is that translated to the new language, also? That's going to be really hard given that JCL is operating-system specific. Is it going to be translated in scripts in a new shell language? The difference between concepts on JCL and, say, bash, or powershel, is going to be impossible to bridge without making drastic changes- and cultivating new bugs.

In general, translation of a large codebase between two very different languages is going to cause lots and lots of new bugs. So, if you rewrite everything every 50 years, in 200 years you'll spend a total of 40-80 years fixing bugs. If you write it once and let it be, you'll spend at most 20. I don't see a good reason to do it.

And what's wrong with an "antiquated language" anyway? I mean is it just aesthetics we're talking about here? Is it the lack of programmers that's the problem? The latter is sure to make translation even harder and more bug-prone. What is the real reason to change a working codebase every n years?
"good" like spying on everybody and sending their every action and position to the government to aid them in their totalitarian wet dream
Emoji Icons Theme for Vim and NeoVim
The Covid Opportunity for Impossible Foods
I’ll add the obvious: https://blog.acolyer.org/

And my own meta-list of distributed systems reading lists. Old links, no shortage of caveats left as an exercise for the reader.

https://gist.github.com/macintux/6227368
My first one, which I learned for Advent of Code 2019 was kdb+/q. There's a good book for it too: https://code.kx.com/q4m3/
That article in The Guardian is especially good. The author clearly loves mathematics and knows how to tell a good story.

> Conway’s is a jocund and playful egomania, sweetened by self-deprecating charm. He has on many occasions admitted: “I do have a big ego! As I often say, modesty is my only vice. If I weren’t so modest, I’d be perfect.”
A bit offtopic, but does anyone know how’s the adoption of BEP39 and BEP46 standards (for mutable torrents)?
Full page POST reloads on each data submission aren't going to fly with most users, even business users. Neither is reloading a page to get new data.

My personal feeling about CRUD is this, you don't have to get fully on the crazy train and spend all your time with packages and build tools to achieve a nice product. Yarn is better for me. Very sparing package use. And a little light Vue with server side templating. No I don't need you managing routes there JS framework, that never was a good idea in my estimation. (Or maybe it is and I don't get it but I like incremental changes and simplicity).

Once the dust settles perhaps I'll move on to a more complex setup but I don't have time for it now. I'm trying to get stuff done. However this doesn't have to mean eliminating modern behavior or appearance. Which means some JavaScript. It's going to be required in general by end users.
Ask HN: Why is there a black bar above HN's top menu sometimes?
https://imgur.com/a/wew1OEd

I get that maybe once or twice a month, for a few minutes / hours on Firefox, Chrome, and Safari (iOS).

Then it goes back to normal.
Sorry, by "untyped" I meant "dynamically typed." CL does have a sophisticated type hierarchy, but to my knowledge, according to the standard, types are checked at runtime, right? In the type-theoretic sense, "type" refers to a statically known classification.

Curry-Howard is the idea that static types are propositional formulas and expressions that have such types are their proofs. Under the Curry-Howard correspondence, a static typechecker analyzing your program is equivalent to a proof checker ensuring that your proof is valid.

People tend to invoke Curry-Howard to praise ML- and Haskell-style algebraic types (according to Curry-Howard, sum types are disjunction, product types are conjunction, and function/exponential types are implication).
News Aggregator Website
Hi all,

In the last couple of weeks I've hacked together a small website that let's you check the latest trending world news or all the news related to a topic you are interested in. There are additional filters that allows you to have even more specific searches like date range, languages, etc.

It critical that we stay informed in what’s going on in the world during these crazy times where information is of most importance.

Here is the link to the website: https://www.thenewsload.com/

Any feedback is much appreciated (bugs, feature requests and anything you can think of).
Unfortunately, I slowly got frustrated reading the what's coming for Scala 3.

* True intersections and union types -- use them sometimes, not something you can't live without though.

* Trait parameters -- slightly easier life for OOP, ok I guess.

* Function types and implicit function types -- right, will make your code even harder to read (subjective).

* Generic tuples -- again, I can't remember we ever had problems with tuples in Scala.

* Opaque types -- another small OOP improvement.

* Type lambdas -- I've never seen them used.

* Erased parameters -- probably useful if it improves performance even at the cost of readability right?

* Enums -- finally something practical, good.

And that's all about major changes in Scala 3. Ah, yes, we get a new compiler. Are you excited?

These changes look like a quarterly release than a major version shift. Now, imagine a project manager who's estimating the migration downtime for Scala 2 for the sake of the above.
I foresee this: https://youtu.be/QfSMyHCm4d8
Estimates put it between 1 and 3%, last I looked. The specific number doesn't change the magnitudes of difference in mortality rates between the two diseases - they can not be considered to be equivalent.
Is it just me or does the article just link to broken yahoo pages? I can't find a proper link to the project but the article contains nonsense irrelevant embedded videos about cloud-versus-onpremise hosting? Is this spam? Flagged.
> Even if news sites make more moneyz they did not sign a contract with Google accepting this financial relationship.

No, and it also didn't sign a contract with Google where Google accepted responsibility to promote access to the news site's pages, either.

So, in the absence of a contract, what determines the way that the relationship between them should be? robots.txt, that's what. If French news sites want to be on the web but not indexed, that's the existing mechanism to control how Google handles the content.

But demanding a contract so that Google can legitimately benefit, but not demanding one so that the news site can legitimately benefit, seems rather one-sided to me.
Nowadays most Spark users use either PySpark or Spark SQL. Spark is designed in some sense to mimic Scala collection library. Rust is nice but its interop with other open source big data libs (Hadoop/Zookeeper/HBase) can be painful.
Native image works well without dependencies. I tried to get Weld and other JEE deps running in a smaller project and it was foot gun after footgun.

I'm hoping in the future the native-image friction can be lowered, but as of now it's not trivial like other languages.
"Resumes are only for screening" -- yeah FAANGs suck at looking at you as a person, at every point in the interview process you end up having to repeat yourself and almost no interviewer ever looks at your resume. it's as if your entire history of being alive and working doesn't matter, only that you can operate as a DS&A robot that doesn't ask too many questions. "I may not answer that" - Borg
“How many people have quit your team in the last 6 month? Last year?” Turnover is a major red flag. Every hiring manager thinks their team is great, so asking subjective questions like “how’s the on-call?” Probably won’t yield useful answers.
To commemorate someone who has just died. Today John Conway: https://news.ycombinator.com/item?id=22843306
> “return-into-libc attacks”: software libraries provide pre-packaged functions, each of which is intended to do one useful thing; a fully TC ‘language’ can be cobbled out of just calls to these functions and nothing else, which enables evasion of security mechanisms since the attacker is not running any recognizable code of his own.

Note that ROP attacks in general tend to jump into the middle of functions because they have partially-cobbled together call states. ROP "chains" join together a couple of instructions followed by a return into something useful, but with "return-into-libc" it's usually to just jump straight midway into system and spawn a shell.

> Pokemon Yellow: “Pokemon Yellow Total Control Hack” outlines an exploit of a memory corruption attack which allows one to write arbitrary Game Boy assembler programs by repeated in-game walking and item purchasing. (There are similar feats which have been developed by speedrun aficionados, but I tend to ignore most of them as they are ‘impure’: for example, one can turn the SNES Super Mario World into an arbitrary game like Snake or Pong but you need the new programs loaded up into extra hardware, so in my opinion, it’s not really showing SMW to be unexpectedly TC and is different from the other examples.

I fail to see the difference; as far as I understood it, the Sumer Mario World examples were done by just playing the game? (By the way, I hear that Ocarina of Time has something like this now, too.)

> This matters because, if one is clever, it provides an escape hatch from system which is small, predictable, controllable, and secure, to one which could do anything. It turns out that given even a little control over input into something which transforms input to output, one can typically leverage that control into full-blown TC. This matters because, if one is clever, it provides an escape hatch from system which is small, predictable, controllable, and secure, to one which could do anything.

You can still prove sandboxing guarantees about executing Turing-complete programs.
The same author has a separate article on some features of Turbo Pascal that made it so fast.

https://prog21.dadgum.com/47.html
Franz Josef Land (Arctic Russia)
Maybe not, but please don't post unsubstantive comments to Hacker News. Especially not continentalistic flamebait.