skysight-inc/HackerNews huggingface dataset:
Can someone please explain what you can do with linear types? I understand what they are (types which the compiler guarantees are used exactly once), but I don't understand why they're important.
Technically, yes :) Of course, my employer would never see it that way. If I worked for a smaller company with reasonable people (e.g. nobody screaming "comply or face disciplinary action!" in daily emails), then I'm sure I would have some leverage, either before or after cutting my hours.

As it stands however, I work for a megacorp that offers nice projects to work on, but with a "system" that's like a dystopian nightmare, and a rulebook and HR staff that exist to waste your time, use you up and spit you out.
I’d rather spend this 500/month on a bigger rent.
> If you're comparing rent vs. buy, typically: 1. rent is less than a mortgage, and 2. to buy you need a substantial down payment. The "rent discount" is what you'd put in the stock market for the purposes of these comparisons.

This varies by location, no doubt. My mortgage was the same monthly cost of my rent, when I bought my first house. After the tax benefits, it was less expensive, though a wash once you factored in maintenance. And it was a fixed payment, whereas the rent was increasing every year.
These posts are not censored. If you want to see them, you can turn on the option to see them (‘showdead’)in your settings.
But Tim Cook said he would try, with details & results unclear:

https://money.cnn.com/2017/05/03/technology/apple-tim-cook-a...
"... if you are salaried slave."

The fact that I'm a salaried slave means I'm expected to work more than 5 days per week sometimes. I swear, half the time I take vacation I either need to work extra before/after it or even log in while on vacation.

So at least in my situation, if I had a four day week I would probably be working more than just those 4 days. Hopefully it would be a reduction from current levels.
Cold War Spy Cameras Explained by Former CIA Chief of Disguise
Being an advocate for someone does not mean that you extend to them everything you have. One can be an advocate for the homeless without letting them sleep in your bedroom; one can be an advocate for immigrants without wanting instant citizenship for anyone; one can be an advocate for free speech while also not allowing objectionable rallies in your place of business. In the same vein, one can be an advocate for employees (giving them respect and fair working conditions) while also developing a business that lets one profit handsomely.
New batch J10s have switched to indigenous WS-10B, the AL31 replacement, early this year. WS-10s was being used on twin engine J16s and J11 years before that.
I've had the same problem on the regular MBP Retina display. I have heard before that it may be related to scaling; I scale my display to have the smallest text/largest available real-estate possible. But I gave up on JetBrains before testing that theory.
Who knows if it is sad until one is as smart as they are?
Pure Prolog Scheme Quine
Google Drive Streaming specifically will not work on Apple Silicon yet.
When you can control the legislature and presidency, there is a pretty clear path to policing what is labeled top secret.

The problem is to function as a military power you can't just spill the beans on everything. What's your solution here? Magic?

> The use of the military on citizens is very severely limited in essentially all democracies. Hell, even in the PRC it is limited.

It's limited because the people limit it. That's my point - if the people want to limit surveillance they can - whether they choose to or not is up to them.
These goodies,

https://github.com/AdoptOpenJDK/openjdk-build/issues/1922
I hope not. I expect them to produce cars that are much better than the average human before setting them free on the road.

That is the rational choice given the human psyche.

We can barely even convince people that vaccines are good.
Lock up everyone for years! Nobody want to ‘live life as normal!’

Sounds better?
> we’re talking about a language and community that uses the keyword “const” to define mutable objects.

Nope they use const to define immutable references, the same way that val/var define mutable references.

If you don't understand the difference between mutability of a reference and mutability of the value it refers to, JavaScript is far from the only language you’ll have a problem with.
and the incentive for private prisons to not even try to behave as a "correctional" facilities, since your revenue is tied to having more criminals, not less.
Some potentially useful findings related to working with Postgres on an Apple ARM M1 MacBook Pro 2020 from a colleague:

https://info.crunchydata.com/blog/postgresql-benchmarks-appl...
It is more than just the CPU.

https://mail.openjdk.java.net/pipermail/hotspot-runtime-dev/...
My first job out of college in 2008 was with Lockheed Martin, which supported flexible work schedules. You could work the traditional 40 hour week M-F, 9 hour days with every other Friday off (9-10), or four 10 hour days with every Friday off. Most people enjoyed the flexible schedules. Since Friday was the one day in flux, everyone knew to avoid scheduling important meetings on Friday. Being young and naive, I assumed most tech employers offered flexible schedules. I now know that this is regrettably not the case. I hope more employers will embrace this in the future. The costs to the firm are negligible, but flexible schedules can be a huge benefit to employees.
Image Quality: Fidelity vs. Appeal
Damn, it told me what I was fearing. :(

Have an upvote, but your website made me sad.
> Given the diminishing returns of hours worked in a day,

Without a study of white collar productivity decrease from a 4/10, I cant accept the statement as a "common sense" premise.

I do better remote sitting on my coutch until dinner programming away and write off fridays...because nobody notices that most of the organization becomes nonresponsive after standups at the end of the week.
CodeSwing is entirely local, and your code is stored in a directory, that you can choose to version/backup however you’d like (e.g. a git repo).
So, you're in favor of maintaining slave labor as long as possible? Got it!
This (or a slight variation) works on many other "news" CMS sites that have subscription paywalls.
The US is literally printing capital right now, and local governments are willing to hand Billions to corporations which promise to create manufacturing campuses.

Why is lowering interest rates not resulting in increased manufacturing capacity as it did prior to recent years?
Substack's Top Writers' Earnings
I've had sluggishness on a 2019 MBP with totally vanilla Webstorm, no third-party plugins. It was usable, but bad enough to turn me off and send me back to VSCode.
> Not in the browser..

WebAssembly as a target is a thing, so, yes, C is available there.

> Nor in the app/server.

How is C not available on the backend?
The irony is many companies would benefit from this in terms of productivity, employee retention, morale, etc — but the culture is such that it’s a heavy lift at this moment to do this.
Los Angeles to offer vaccine record on iPhones
Iran plane crash: Victims' families to get $150k
"Baylor shifts". I know they do that in nursing, but I worry about error rates. Is an exhausted nurse really as error-free as a rested one?

On the other hand, longer shifts mean fewer handoffs, and there can be errors there as well...
I first became fascinated by linear [1] and uniqueness [2] types with Clean [3], a purely functional language that handles state and IO without monads.

This Haskell extension uses linear types for resource safety and scoped effects [4]. For example, linear types can prevent use-after-free errors. Also, linear-typed arrays can perform in-place updates if there are no external pointers to the data.

Similar to linear types is the affine type, where a value is used at-most once. Rust's borrow checker is based on this notion, so that values are "moved" rather than "copied".

[1] https://en.wikipedia.org/wiki/Uniqueness_type

[2] https://en.wikipedia.org/wiki/Substructural_type_system

[3] https://clean.cs.ru.nl/Clean

[4] https://arxiv.org/abs/1710.09756
> It's ironic for the CIA to claim that Wikileaks "works towards the decline of liberal democracy", when the CIA itself is working to suppress democratic checks and balances.

the CIA in the past has installed brutal dictatorships and actively tortured the most vulnerable of our own citizens. I think it's fair to say protecting liberal democracy is hardly a priority of theirs.
Just want to express my admiration for what you and the team did with perplex city. Thank you for making something so damn cool.

The believable near future sci-fi. The beautiful art and design work. The binding of a community from all across the globe long before it was the norm.
It was a palpable universe.

Sucks that it ended when it did, but I'll always cherish the veritable mountains of quality content we got.
Just as with vaccines waiting for better cars means letting more people die in the meantime. That is a grim hope.
I wish my newly ex-employer shared your views. :)
> would require some very tricky state synchronization

Games for these older consoles — any generation while games were either still unikernels, or still ran on RTOSes — are already 100% deterministic in terms of what the game will do on a given frame, given a fixed history of per-frame inputs. (That might be surprising, but devs would strive to keep this property, as it makes reproducing bugs far easier.) So you don’t have to do much, other than execute the game faithfully and ship button-presses back and forth, to ensure synchronization.

Of course, shipping these button-presses around to achieve state-consensus synchronously would be slow — but there’s no need to do it synchronously. All modern emulators are built not in terms of a single mutable virtual-machine state, but rather in terms of a functional-persistent chain of VM states (think a HAMT.) This is what enables “rewind” support in emulators — and more recently, “run-ahead” latency reduction (basically a type of speculative execution of VM states.)

Thus, with any emulator constructed this way, it’s actually very easy to ship+receive+resolve network inputs asynchronously: i.e. to receive inputs “about” frame N while rendering frame N+M, and then to go back and re-compute the correct VM state for frames N..N+M, such that frame N+M+1 will inherit from the recomputed frame N+M. (Remember, you don’t need to run any of the IO-emulation logic for the recomputed frames, so they’re actually quite cheap to recompute!)

It’s actually oddly similar to what blockchain nodes do to “reorg” when they discover a fork — just done in real-time, between 16.7ms frames.
Here’s something that might enlighten you: many old people don’t want to be alone for a year to avoid a chance of dying. Many old people would take that risk.
MBP and I love it. The one drawback is that I'm a heavy user of Hasura, which means that I'm a heavy user of Docker which doesn't run locally.

The fix is that I changed my start script (spins up Hasura, create-react-app server, serverless local, ngrok, etc) to just SSH into an AWS box and run Hasura there. With ngrok paid this is very easy and is basically transparent to me at this point.

Happy to share code if you're interested.
There’s such a long tail of it, too: I still see ADC connectors in hotel room phone docks, etc.
While there might be some obstacles the idea itself is great and we should pursue it further :)
https://mantraviewer.datada.repl.co/

to see the English translation over the manga.
Affine types, which Rust more or less implements with its ownership system are very close to linear types, see https://en.m.wikipedia.org/wiki/Substructural_type_system#Af...
Just curious why ruby? Would you consider Golang?
yep that's it sorry for the sp, reckless typing ¯\_(ツ)_/¯
No, exactly the other way around. Boeing pushes the FAA around, in China it is the aircraft manufacturer that gets told what to do.
This article and the Atlantic article about one or two spaces after a period were both posted 5 hours ago. That article has 50 comments, this one a single comment. Interesting.
Rust has affine types (values can be used upto 1 time), which are similar to linear types(values can be used exactly once).
Affine types are slightly more general, but offer less guarantees about your program. To add back some guarantees, Rust also has lifetime analysis.

So for most common use-cases, you will be able to use Rust and Haskell for similar guarantees. But I’m also eager to see what unique use-cases will be enabled by each of them.
I'm surprised the JVM itself would be concerned with such things? That seems like it would be a standard library fork
In the latest episode of the ATP tech podcast, the developer of Overcast describes how his experience with his M1 MacBook Air prompted him to sell his $5000 iMac Pro and switch to the Air full time.

https://overcast.fm/+R7DWgCAKU/46:13

note that you said "development" and that's kind of vague… If I were primarily an iOS dev, I definitely would switch ASAP. If you're a web dev and your workflow includes a lot of Docker, I'd wait a bit.
Make What You Do by “By Default” Productive: A Productivity Tactic
It’s been the same person for almost 5 years. Trust was built over time.

She doesn’t have direct access to my money, only credit cards. Those are easy to cancel or chargeback if things go screwy. She does know my SSN which is a bigger concern, but then again you give your SSN to all sorts of people and services in USA, it’s very not actually a secret.

Oh and she doesn’t know passwords to anything. LastPass sharing only.
Will do in the new year for sure. My old MBP gave up the ghost after 9 years of loyal service and I need a Mac for some cross-platform targeting. Golang seems to be ahead of the curve here so I look forward to seamless builds once I get there.
Not with current technology that’s available, if companies keep innovating we may get to a point where solar glass helps contribute to building’s energy consumption
Definitely not doubling up. Some parts of my modules are in Jupyter Notebooks, others inherited PowerPoint that I’m slowly phasing out. I’ve added various examples where I show how a particular equation might be plotted with Matlab and better understood.
Government fiat = taxpayer fiat
Just wanted to say I like this sentiment but find it hard to imagine revolutionizing entire industries without a minimum of billions of dollars of altruistic funding. And billionaires aren't well known for wanting to weaken capitalism
The answers show how to use Prolog to construct a Scheme quine.

Iterative deepening and built-in Prolog mechanisms for parsing are used to elegantly solve this search problem in a few lines of code.
As cautious as you are, you still get distracted, focus on the wrong thing sometimes, and have blind spots. Computers don't.
One thing I've noticed when using many open-source softwares with a GUI is that they just don't look and feel like a professional piece of software. The programming and project architecture may be stellar, but without a clean, professional looking user interface, most folks won't give it a chance. Take Gimp for instance. The software is an excellent alternative to Photoshop, but most people who aren't really into OSS or programming tend to overlook it or immediately disregard it, due to its UI.

Like the article's author talked about contributing answers to forum questions, I think other areas open-source software projects need some changes. I think the OSS community needs to try and recruit more design folks into their teams, rather than just programmers.
Sounds neat in theory, but practically speaking that is a UX nightmare.
I'm in the same camp. If you get it working well with any distro, please post to r/thinkpad with details.
Brilliant scientists tend to be insane weirdos. Newton was into alchemy. The kind of personality that's willing to break one orthodoxy won't stop at the next; all great new ideas are plucked from the midst of mad ramblings.
It doesn't mean that a sentence can't contain line breaks. It means that there's a line break after each sentence. This causes paragraph reformatting (for maintaining line length) to be restricted to the current sentence, instead of also affecting the following sentences.
Doesn’t IntelliJ use its own bundled JRE? If that’s the case, it won’t matter which JRE you have installed.
I would suspect that materials science is underfunded in the West as is any endeavor that takes long investment for long term payoff. China and Japan have been extremely good at patient long-view investment.
I tried to read the article, but it reads more like a novel than an article.

So 1 case is described, then it is said 'half of dozen' other deaths which might be suspected suicides.

I wonder, did they compare it to a baseline? For sure this is not the first time crew members commit suicide.

I feel there is little 'meat' in the article.
It takes a lot of energy for machines to learn
I tried my friends M1 MBP, I wasn't horribly impressed. The thing runs quick, but it sacrifices far too much to get there. I'll probably be sticking with Thinkpads for the foreseeable future, or at least until Apple makes a laptop that isn't so disposable. If this is Apple's attempt at coercing me into supporting ARM, it's a pretty weak showing.
The second article was golden, and I would say it cleared the concept very well. I do feel more confident about the mRNA method now. Thanks!
Wheel Aerodynamics: The Flow Deflector Explained
Yup, best buy is the first place I go for electronics. They don't have nearly the selection as Amazon unfortunately..
Russia hacked both the DNC and the RNC. They only leaked DNC material (via their cutout Wikileaks so people can claim in bad faith it wasn't really Russia), and did so at the time it was most needed by the Trump campaign. If you consider receiving state-hacked materials and leaking them in perfect coordination with a political campaign (see Roger Stone indictment) journalism, then there's nothing else to discuss. Oh, and it wasn't just any political campaign. It was the campaign actively supported by the state actor that gave you the materials to begin with. All common coincidences in the journalism world I guess, right?

> So based on something he did in 2016

Speculation no one can answer, ignored.

> The need for intelligence agencies to keep their information secret is not more important than the accused's right to a fair trial.

You aren't listening to what i'm saying. If you suspect someone of espionage and they are already sitting in prison of sex crime charges, you have no reason to expose the methods and sources you used to catch said person.

And responding to any claim made exposes you publicly to confirm what you know and how you know it, which further damages your intelligence collection efforts. Which is why "show me the evidence" is not in good faith, especially not someone like Snoweden that knows damn well how intelligence works. He knows he won't get push back publicly, so he has complete ownership of the narrative. "None of my leaks results in anyone dying". The American IC is not going to list their assets that were executed in hostile countries as a result, for the reasons I mentioned.

> accused's right to a fair trial

Funny, both Assange and Snowden fled their respective "fair trails" to hide from justice. Neither had any intention of risking jail for "what they believe in" - yet some people still view them alongside whistleblowers that actually did.
The Puzzle Inventor Who Makes Math Beautiful
This is why I love HN, thank you for these links! As someone who grew up listening to crappy compressed CDs of early jazz recordings I can easily look past the poor video quality.
Unfortunately I don’t recall the name of the patent troll. Is there a place I can search these cases up?

IIRC, Apple’s evidence amounted to repeatedly shouting “they’re obviously a patent troll” (which they were)
$500 per month is a lot for most people.
All the use cases I've seen are about optimization.

You can avoid a lot of copying and memory management if you know the value will be used a single time, and then generate another value, that will be used a single time again. It has a very large potential impact, mostly on IO.
welp looks like I've filled my 2021 theory quota with a single HN post!
I think this is the important point. Large corporations and governments can be considered AI already, with entire humans as the neural nodes, augmented by silicon co-processors.

(I like to point out that Turing was observing his own mind when he created computers, so essentially they have always been reified mechanized thought. Computers are AI already. Ergo, what we think of as AI is really the attempt to make one kind of human thought imitate all the others. From that POV it's kind of foolish, almost a fetish.)

I don't have any solutions, I just want to point out that rogue AIs are already a thing from a certain POV. What are the FAANG but a bunch of complex entities that are too large for anyone to fully control or understand? The high-frequency trading nexus is another point of dynamics where human motivation and automatic systems form a system of feedback loops beyond understanding or control. Because humans are part of these machines they cannot be considered inanimate, they are living, breathing systems: cyborgs.
Twitter is another form of public speech, like interviews, public lectures, etc. Scientists always were accountable for re-interpretations of their lectures, public speeches. Why it should change on twitter?
Maybe you phrased that the wrong way, but your comment reads like it's saying that suicide can't be worse than isolation.
>But I think they only sell in Europe now, they’ve left US and Canada.

What a coincidence. They just announced one a few days ago.

[1] https://www.youtube.com/watch?v=KVBAt57MxGA

[2] https://www.youtube.com/watch?v=9u9UN_HbakQ
You can limit the numbers pf concurrent calls using a semaphore and acquiring it before making a http request.
I also would advise you to hold off if you write any C++ or compiled languages. The majority of the world will be sticking with CISC architectures for a while, so shipping and testing software across both architectures would be a lot of undue stress on your workload.
> We’ve had some of the highest effective tax rates on capital in the world for a while, and the Trump tax cuts didn’t help that much.

Source on any of this? I don't think this is true - both effective and statutory corporate tax is lower. When factoring in things like the estate tax on capital, capital gains tax, etc. - all is much lower than during the 20th century.

> In practice that’s over a 50% rate, even if the shareholder is a low income retiree.

Among equity held by American households, the richest 1% own more than 50% of that equity - and the top 5% owns the lion's share (upwards of 3/4s). The "low income retiree" narrative is overstated. Moreover, that retiree could count paid dividends as ordinary income, which is taxed progressively (10% or less effective tax rate) if they are low-income.

Meanwhile, the estate tax is much lower than it was during the majority of the 20th century, despite the fact that more than half of all wealth is not earned but inherited by the wealthiest 5% of all American households (ie. the median dollar in the economy is inherited, not paid as a wage or from capital gains)
Hooky isn't ironclad though; you can be called out of slacking at any time if you're supposed to be on the clock, so it's not quite the same.
But you are comparing apples to oranges...
Show HN: Ascos Case – wooden handmade PC Case
> I meant server web application.

You can absolutely write server web apps in C (there are even web app frameworks in C), though I wouldn't want to, or...

> The one in Node/Go/Python where you will write your business logic then `http.listen()`.

You definitely can link and call C code from Node, Go, and Python; they'd be much less useful otherwise; it's not at all hard in Python, and I assume the same is true of Node and Go.