skysight-inc/HackerNews huggingface dataset:
I find their writing overdramatic and often missing the central point.

For an example recently discussed on HN: "Computer Scientists Achieve ‘Crown Jewel’ of Cryptography" -- misunderstanding the science, not investigating the larger context (in which it's just a form of FHE), pulling out the (overwrought) term of one person, to call it the "crown jewel", describing other work as "dazzling newcomers" and, of course, forgetting to investigate the practical constraints. These are errors in the basic craft of journalism.

I see the same problems in other articles in areas I have worked in which leads me to doubt the whole enterprise. It also likes "profile of a researcher" articles, which are typical talismanic pieces for the popular press void of any actual science.

It's probably fine to surface interesting topics, though there are other sources appear to use writers who are actual scientists, or who at least have scientific training.
I really made an effort to get into https://factorcode.org/ about a decade ago. It's an incredibly impressive project, but I found that the cognitive overhead of manipulating the stack stubbornly failed to go away over time. I say this as someone who is reasonably comfortable writing moderately complex Haskell code, so it's not that I'm unable to adjust to unusual programming paradigms. I think naming local variables just turns out to be an incredibly good idea.

That said, I do appreciate the conceptual simplicity and ease of implementation of concatenative languages. They certainly have their place.

In case there are any Factor evangelists out there, let me add in fairness that the language makes it easy to use named variables if you want to.
Zig actually does a good job of cutting final output bytes automatically, even with standard library use.

I think (?) its compiler sort-of implements a more advanced version of Unix strip.

Andrew Kelley could probably chime in more on it.
It would work at night, too.
> This is not true at all. Anti monopoly regulations, for example, exist for the sole purpose of privileging new entrants over incumbents. The actions against Microsoft, or the breaking up of AT&T certainly did not help the incumbents.

The intended purpose is to help the new entrants, but I don't see Microsoft or AT&T losing anything or their smaller competitors gaining anything after the regulatory action against them.

> An example closer to home is that entrepreneurial activity in Silicon Valley is often attributed to California law forbidding non competes in employment contracts. This is regulation, without which, as you see in nearly every other state, workers are severely bound by their employment contracts in the work they can do while and after being employed by a company.

That's a matter of negotiation. I always (successfully) negotiated with my employer to exclude my personal projects from the contract. I find that employees have a lot more negotiating power than they realize.

> If regulations seem to benefit incumbents, it’s because incumbents exist and therefore can play a role in setting regulations.

I think that's synonymous with the original statement made by OP. You're just providing another reason why it's true.
'Never' is a long timespan :) It will be solved, sooner or later. The universe will be fully understood and manipulated. By us, a modified version of us, or some other entity, perhaps even one we created. 300 years ago 'electricity' wasn't even a word. We can imagine what 500 years into the future will be, with an exponentially more advanced tech, worse than a caveman could imagine the concept of 'machine learning'.
Just to remind everyone of another, apparently successful, four-day week experiment, also in New Zealand

https://www.theguardian.com/world/2018/oct/02/no-downside-ne...

https://en.wikipedia.org/wiki/Four-day_week
Good old-fashioned fun!
You're mad at a face the CIA put up in front of themselves (according to abc news)
It is powered by proof of stake, which means no asic miners, and possibly quicker blocks.

A new virtual machine for smart contracts (EWASM instead of EVM) giving better contract analysis options, and possibly higher sync speeds due to optimisations.

Also, sharding - so multiple jndependent blockchains, that should fix the scalability.

If I’m not mistaken, this release is not yet a full blown new chain, but just a partially functional one, designed to test stabiloty and safety.

Disclaimer - I’m a bit out of loop, so I meay be slightly wrong somewhere.
Brexit transition: Time is running out. There are new rules
Yelling into a 'jungle' will not get you attention, plus who knocking who?
KISS Linux[1] is a similar option. Busybox-based init and coreutils (with musl by default), although all shell scripts are POSIX compliant so you can plug in pretty much whatever you want (sbase/ubase, GNU's coreutils, etc).

[1] https://k1ss.org
Hopefully he doesn't read this and develop a complex :)
As sad as this is, I'm glad the NSF didn't try to repair it now. There could have been people on the platform when it gave way.
they can help you avoid malformed requirements. and/or preempt situations such as "oops your reservation has vanished because a bug; but now thanks to your complaint we've fixed it!"
You can check out the current roadmap here

https://ethereum.org/en/eth2/#roadmap
Well that is completely wrong and you clearly haven't read any documentation on the network upgrade.
It all depends on how tangled your spaghetti are.

For the code that implements basic state and invariant checks (ie ships with asserts compiled in), crashes are usually exceedingly rare and limited to one of these checks failing. Debugging them requires a stack trace and, optionally, some context related to the check itself. If the program dumps this info on crash, the fix can typically be made in less time it takes to retrieve/receive the coredump and start looking at it. If it can't be fixed this way, then it's to the coredump we go.

On the other hand if the code is prone to segfaulting on a whim, requiring dissecting its state to trace the cause down, then, yeah, it's a coredump case too. But a code like that shouldn't be running in production to begin with.

So that's, roughly, what the F is.
>or that an app can block other audio sources

I think that's a useful feature, and the real issue is that it can't be overridden or reconfigured.
2.0, eh? First one didn’t work so good?
... because its a sex app. Real tools never could compete with porn let alone real sex. Humans are animals.
No discussion of Zambonis is complete without a link to the Zamboni song by the Gear Daddies:

https://m.youtube.com/watch?v=BD5oBHGmes8
This is the first time I supported anyone on Patreon or pledged to any crowdfunded effort for that matter. I have been using a 2014 rMBP with Linux for the past six years, and while things haven't been perfect it was still the best combination of hardware and software for me.

With the M1 MacBooks the competition with other laptop brands isn't even close, so much so that I couldn't justify buying another machine, just based on the battery life alone.
I don't think fascism is a real problem on the net and I know some popular places they are around. It got some reactionary traction in the last years, but they were derided and made fun off for years before and they never made significant inroads.

What really helps and has helped them is putting people und general suspicion and restricting user rights. That massively helps fascists. The increased content control is a major success fascists had achieved the last years even while not in power.
My 10 year old thinkpad has an empty bay where you can add a cellular modem. Cellular in laptops is not new.
My brother moved from the UK to New Zealand a few years ago, and I've managed to visit him all of once - it's much more than a day of travel from here, with the added disadvantage that neither he nor I live near any of the convenient airports. Travelling to, say, New York from the UK is a lot more doable: I can get from semi-rural countryside in the UK to Manhattan in maybe 12 hours. There's also a considerable difference in cost.

(To the poster upthread asking how it compares to the UK: I only spent ten days in New Zealand, but I thought it was great. Sort of like the Lake District here, but on a vast scale. I also recommend the beef and cheese pies - a lovely healthy snack.)
I instinctively dislike discussion of feelings in engineering. This belongs in a psych department.
So instead of the promise of a stable, ever-deflating currency value that was made by bitcoin proponents we get unbounded inflation instead? Nice!

Edit: might not be the case for Eth2, but it still seems to ring true for the cryptocoin ecosystem in general: as soon as the value of one currency rises enough, alternatives will be created.
These systems are in one sense ideal for formal methods: they're complex interactions between systems, often coordinating over resources and time, with many easily identified constraints that must be maintained.

On the other hand, they're awful for formal methods to the tune of how expensive and valuable it is to actually get a complete description of what the intended behavior of these systems even is.

The bane of application of formal methods in software is that many practical automated systems are only intended to perform against an incomplete, often somewhat inconsistent, and often rapidly changing goal specification. They could be leveraged very fruitfully against these problems, but to do so would invite a long, expensive requirements gathering process between modelers and business owners. There's some anecdotal evidence that this is a valuable process, but the economics don't work out. Even in circumstances where the benefit is obviously there, formal methods front load cost and thus increase delivery risk in many projects.

I think the right way of bringing these techniques to practical software is through expansion "horseback formal methods": lightweight semi-formal tooling and practice which pays out moderate value for moderate investment. These techniques could be run earlier on in a project and demonstrate the value of formal methods while reducing the eventual cost of implementing the heavy hitting tools later on.

A lot of software engineers practice this already, but don't always have the experience to connect back-of-the-envelope domain modeling to mathematical modeling. Or don't find it sufficiently valuable, which is fair. Hopefully, expansion of popularity in these methods will increase the popularity of making smoother transitions from lightweight modeling to more expensive, formal, comprehensive modeling.
Vendée Globe 2020: Rescue at sea during solo non-stop round-the-world race
Comparison Between Web Browsers
Unless you are a physicists there are very few Fortran libraries used from Python.
"To view this, please install silverlight" Oof...
What country are you in? In many countries it is a right
Start by putting the question into the title.
I love KDE, it's been my daily driver since I had to reinstall a desktop in a hurry and my awesome-wm config was too old.

Dolphin et gwenview are speed killers (I love Gnome's ethos but Nautilus is a snail and is missing many features I use hourly).

Can the KDE pinephone be used as handheld computer for reading PDF, taking pictures, scanning bills and invoices, media player and that kind of things ? I am not ready to rely on it for SMS and phone calls, I can't afford to miss any calls or messages.
> Pretty stunning to have latencies that low on a low end $700 mac mini that embarrasses machines that costs 10x that much. Even high end Epyc machines (200 watt TDP) with 8 x 64 bit memory channels have to try hard to get a cacheline every 10ns.

Eh? That's not how memory latency works. The cheaper consumer chips with "non-spec" RAM and without ECC are regularly better here than the enterprise stuff. This isn't something that scales with price.
Show HN: Banko.tn
Tunisian banking system review site.
Show HN: ProductionReadyApp – Hacker News for people who like to get things done
Does Apple gain anything from AWS for forcing it to rent for a minimum period of 24 hours?
@alexliu518 do you have an example for a Vue.js + Node.js backend with simple saving and updating? Is this possible or do I need to run the Java backend + services?
One thing I haven't been able to figure out about proof of stake is this:

if one entity somehow manages to control over half to the total ETH tokens, does this enable an attack analogous to bitcoin's 51% problem (which happens when one miner controls over half of the network's raw cpu power)?
Why did ETH drop then?
The death of the department store and the American middle class
I got a landline when I switched to the pinephone and set it up to ring both. I do miss MMS messages but people who really need to get to me call or email me.
Your hunch may be right, but I'm optimistic because a) I don't believe it's a concerted initiative, and b) at least some of the toe-dipping seems to be happening for genuinely 'this is better for all of us' sentiments.

This potentially wishful thinking may end up being proven wrong, but ultimately what we all have going on now simply isn't tenable over the next 10+ years, so any and all kinds of experiments are probably a good thing.
Great article. This has real implications for SaaS pricing.

e.g. If your market is SMBs, your JR AE sales person costs ~$50k/y with a reasonable expectation of selling 10x their salary in ARR, your pricing needs to be proportional to the number of customers in the top of your funnel / sales salary. It seems obvious, but often we think about price from a user and individual work perspective, with no sense of why it's worth $50k/y for a subscription to a SaaS tool.
Japan has monthly and yearly caps, as well as discounts for chronic diseases and for people with low or no income. So while it's true that you pay 30% yourself, the people who would have difficulty paying that 30% are also taken care of.
"Maybe some people know, some does not, that Linux is itself a boot loader of some kind. At least, when using UEFI and this is what I want to use, it can be loaded directly by UEFI firmware. [...] it won’t be as simple as that, for legacy BIOS."

Hmm I remember it being that easy back in the early 2000s. IIRC it was enough to copy the kernel to a floppy disk and have it boot. Well, back then the Kernel and Busybox fit easily on a single 1.5MB disk...
dont try to correlate market movements with any sort of rational behaviour
Because Bitcoin touched an all time high and proceeded to plummet $1700+ immediately afterwards, dragging all other cryptos along with it.
It was once controversial for Doctors to wash their hands. Now everyone believes and understands why it is necessary. But few of us have any real understanding of what bacteria and infections actually are. We just take it for granted. Sometimes our basic understanding of the world is insufficient to really grasp new ideas. It just takes a while for people to adapt and in the meantime the alternative theories become very powerful.
Sure, if Reagan hadn't gutted them back in the 80s.
Ah cool. Makes sense.
spacex was laughed out of the room by industry and press when they announced trying to land the first stage. then they did it.

reusable rockets were uniformly assumed to be a fool's errand.
>When I see these complaints I see people talking about how they want other people to use the Internet and computers. That smells like authoritarianism.

Your comment smells like libertarianism. Exercising some influence over how others behave is not authoritarianism. You have to consider that (1) most users are ignorant of how the web works and are vulnerable to being exploited by those who are; and (2) that exploitation has a chilling effect on the rest of the open web.

Technology workers have an ethical obligation to be good stewards of the technology experienced by the techno-illiterate.
Hypnotix, our new IPTV player
I think H.G. Wells would be rather impressed with Metropolis if he had grown up with the popular movies of today ;-)

> That vertical city of the future we know now is, to put it mildly, highly improbable.

Interestingly, in his own movie, "Things to come" from 1936, we see that exact same idea.
Many libraries (the book kind) turn their webpage catalogue off for the night and turn it back on in the morning
Yes. But thats the point of PoS. Why would someone who owns >50% of something want to destroy it? Literally hurting yourself more just to hurt others a lesser amount.
I have completely and continuously destroyed sinuses from 2 decades of severe perennial allergies. Basically 24/7/365 of runny, stuffy, itchy nose.

Anecdotally, I can say that drinking a glas of Aspirin Complex (Bayer, aspirin + pseudoephedrin) will instantly bring relief as I bring up the glas of water to my mouth. The powder is still dissolving and causing bubbles/sparkling water to throw some aspirin-water vapor into its immediate vicinity and while breathing you can't really avoid to inhale a bit of it.
I haven't familiarized myself with the legislation you mention, but from your characterization, that sounds like more of an EU problem than an Internet problem.
That's been discussed in 9fans, I think: https://9fans.topicbox.com/groups/9fans
Because the backtrace is optional, the formatting is consistent with it and without it; you get that line no matter what.
Neither is it first. MacStadium have done this for years.

GitHub Actions, Semaphore CI, CircleCI, Bitrise, they have all done actual virtualisation of macOS for a number of years too. Yes it's a slightly more specialised problem domain, but nothing about this is correct.
I normally find the screenshots page fascinating when perusing new distros but theirs 404s.
> It's especially interesting because someone from Plasma mobile team told on HN the other day that they support MMS.

I'm curious about this too, as I explicitly tried plasma mobile on several distros (PostmarketOS, Manjaro, KDE Neon), and MMS did not work for me at all. It seems to work on the ofono stack, which seems to be closer to supporting MMS versus ModemManger + Chatty, but I'd love to hear from that same person again to hear their set up.
I'm using Ubuntu+gnome in the hope integration issues have been worked out faster compared to Ubuntu with an alternate DE that just isn't exposed as much, and that'll give me just trouble and less info on askubuntu.com etc. But since gnome doesn't cut it for me, I'm going to switch distros alltogether anyway. OpenSuse or something else having KDE as preferred DE? Don't know yet; would be cool to have a mainstream systemd-less distro with KDE.
Supposedly improvements in hardware acceleration have changed this but IME a window manager with no compositing is way faster than phosh. I use fluxbox and on that firefox scrolls in real time for example.
To me this sounds more like you didn't RTFM ;-)
I’m working on https://screenplay.dev, where test every change against a battery of open source iOS apps (Wikipedia, signal, etc). We started on GitHub actions, but found it much cheaper to buys ~4 Mac mini’s and run them in the office. It takes a little love to keep them up to date and stable (maybe an hour a week), but in return we get cheap, debuggable Mac computer. I like that more offerings are appearing, but at this price, we’ll stick to our furnace of Mac mini’s for now.
Someone commented on a previous thread that the M1 Mac mini hadn't changed form factors despite a reduction in component size, lamenting that it had retained the same size and shape as its on-Intel predecessors.

This is the reason.

Datacenter customers (really, any customers racking minis) likely represent a meaningful share of Mac mini sales. Changing the form factor would mean these high-value customers would need to re-tool their racks to support a new design. Even Apple is not immune to the pressure of large customers.
Concretely, it’s because an int is generally defined as 4 bytes and with a sign bit the remaining 31 can have values 2^31.
I've been using the Pinebook pro for that since June and it works flawless
Were there no severe cases in the control group either? From my limited understanding of how these things are done, I assumed there must have been severe cases in the control group (which would have the same exclusions), and enough of them for some statistical test to show meaningful difference between the groups, for them to be trumpeting no severe cases in experimental group. No? If not, that would indeed to my non-statistician eye seem kind of sketchy. But if yes, thats how it works right?
I wish KDENeon was around when I was kde-crazy, back in 3.x/4.x times. Finding a distro that was both reliable and able to run nightly builds of KDE apps was really really difficult. Despite all efforts of some outstanding maintainers, Kubuntu always felt like a hack, with unavoidable GNOME stuff popping out all over the place.

I've tried Neon in virtualbox and it looks nice and consistent. Performance wasn't great but that's more or less a given under VirtualBox. I might give it a go on my next laptop.
I think the wording is ambiguous enough that it takes an actual court case to resolve.

In a broad interpretation, the prohibitions on rent/lease/lend/sell of "the Apple Software" would apply to the whole system (harware+software), which would forbid me to sell my old Mac. This would never hold up in court. But in a narrow reading, where the prohibitions only apply to the software, separated from the hardware it does not look like there is anything stopping me from renting out (access to) the entire Mac to a single user[1], for whatever purpose and duration I want. So those 24hr and "development purposes" would be moot.

[1] There's probably more than enough precedence to uphold number-of-users restrictions of software, e.g. Windows Server CALs.
I've got the pinebook pro. If you want something that "just works", it's not quite there. The community is constantly working on it though. I think with full driver support it can be a great little machine.
Witness the high-tech future of farming
> But alas, we don’t have tail call recursion in V8 or SpiderMonkey yet. (At least, not at the time of writing).

That really is disappointing. BTW, a Javascript interpreter with proper tail calls is built in to every Mac, but it's not in the path by default: https://stackoverflow.com/a/61740889/5641202

Just FYI if you want to run recursive Javascript from the command line in MacOS.
My take in B2B (private and public sector) is that a sales team is a necessary counterpart to how procurements works. Answering RFP, navigating orgs and finding sponsors, organizing meetings and doing presentations, customizing the contract and negotiating, etc. is a full-time job (source: bootstrapped and done that myself).
Do you mean abusive idealogies like intersectionality and safe-spaceism?
A Startup Toolkit for Founders
America's military prowess requires an embrace of lead-free electronics
Well, you can always develop a Photoshop plugin and test it in a very intensive way. Still not worth the price though
Also, it would be kind of visible and hard to hide. With sufficient high profile stake holders, this would be very unlikely to happen and even harder to hide.
> Maybe someone can wrap this SaaS in a other Saas and sell timeshares in a virtual Mac.

That's precisely what the EULA prevents, otherwise Amazon would happily sell you smaller slice of time.
What do you imagine maintenance mode means exactly?
A very, very concise brief is it's a concurrent (happening at the same time) network upgrade from PoW (proof of work) to PoS (proof of stake). The new chain called the beacon chain will operate alongside the "old" one until a full cut-over happens some time in the future. Predicted 1-2 years.
The essay appeared in the CACM with a number of other essays objecting to it, if I recall correctly.
Data Structures: Stacking and Queueing
Because there's money to be made by not "ditching the entire Apple ecosystem."

If you were able to run a business that was fun, that made you money, and that enabled you to help other people have fun and make money (i.e., your employees), would you not do that out of principle? I'm genuinely asking.