skysight-inc/HackerNews huggingface dataset:
Eiffel's bigger contributions are probably:

Design-by-contract. The contracts aren't just comments, they aren't haphazardly enforced by adding asserts to the code. They're explicit parts of the language which allows for a lot of interesting consequences when utilized. Testing can be semi-automated directly from the code, some elements of the program design can be proved to be satisfied statically without the need for compilation and execution. The ability to encode your specification into the language is incredibly useful.

Command-query separation. If methods return a value (queries) they should be referentially transparent, having no side effects. This is a principle so not an explicit language feature, but it can be enforced using DbC.
Desal plants need to run constantly anyway, at least in my understanding.

Desalination plants aren't really something you build for profit, they're to secure your cities clean water supply and are usually taxpayer funded infrastructure projects.
Take a look at HOCON (Human-Optimized Config Object Notation)

https://github.com/lightbend/config/blob/main/HOCON.md
There are better ways to transfer contacts and photos. You trust the cell company to do it? To not maintain your / her data? To not share with law enforcement? Your threat model may be different than you realize.
I think articles like these miss that the appropriate amount of testing is very different for different sorts of applications.

If you're building a low-level infrastructure component, like the storage engine for a database, or an encryption library, then basically every line of code, every piece of functionality should be tested. In these situations tests are pretty straightforward to run, the "right thing" for your software to do doesn't change very much, and without tests it's easy to introduce an accidental bug.

On the other end of the spectrum is things like video games. If you're scripting the behavior for a new object in a video game, it's often very hard to test it does exactly what you want. And you're likely to change your mind about this behavior, and a test isn't very useful when you simply change the test every time you change the feature. In situations like these, tests often aren't useful.

So basically the question of "how much unit testing should I do" is a perfect recipe for the two sides to argue past each other based on very different experiences.
For a context, some older version of swebok was edited by Steve McConnell, the author of an old best seller "Code Complete" At that time, there was some consensus on what's software engineering. This version (coming out at 2013) was extension of that line of thought.

The IT field has expaneded since then. So your point is kinda right: I don't think SWEBOK covers mobile or ML fields well, for example. But there is a still some value to cover traditinal software engineering field, as it still exists and it's not that small.
Is UPX actually that much slower than extracting a gzipped docker layer? I didn't realize UPX decompression was much slower than other compression algorithms
Exactly this. I've given many chances to people that didn't have the paper and almost of all of them have risen to prove not only are they just as smart and capable, but that working in technology was a passion/hobby. I don't care about paper at all, it doesn't hurt and I value education, but it's never been a deciding factor when it comes to hiring.
Out of curiosity, how _do_ you feel about having worked for a defense contractor and, separately, working for one again? What tradeoffs have you experienced (good and bad) moving from defense to non-defense industry?

I'm personally beginning to think there is a crossroads coming up for me and would value your perspectives if you have time to share. Thanks!
This is more a case for banning gold speculation and Bitcoin.
Maybe we need an honest to God religion forbidding the use of non-free software, and then we too can play the religion card. Class orders you to install Proctorio? "Sorry, that's against my religion." Fail the class? It's because they required me to sin against my religious beliefs and I would not.

Of course, like all religions, not all members will follow the beliefs all the time. At least that's what I tell myself while sinning with a non-free video game I installed. Many a pastor has molested children, but the courts still recognize those religions. So when the founder of this religion is caught duel-booting Windows, we'll just remember that the religion is divine, even if the people aren't.
Lua tables are great for nested configurations like layouts.
This exists at every level - a cop can choose to pull you over for speeding or not, and if pulled over choose to give you a ticket or not. You can't get rid of the human element.
In addition to the (very valid!) tech demo aspects of this, there's also the huge public interest/public relations aspect. I've seen more articles and comments on Ingenuity than on any other part of this Mars mission. (Personally, I'm excited for the MOXIE instrument[1] - tech that's all but mandatory before human missions)

[1] https://mars.nasa.gov/news/8926/nasas-perseverance-mars-rove...
Youtubers start putting banners at random times merging the ad with the content like in football games/UFC whatever, if this SponsorBlock gets popular that is.
It would be interesting if the author mentioned not just about 4k60, but also how do you get something like 10bpp color. I have a MBP and can watch YouTube videos in HDR on the laptop screen, but not through the hub I have.
Maybe this (and other work) will eventually lead to a Professional Engineering standard for software dev
I now know what my lawyer would say if a phone crack by Cellebrite was introduced into evidence.
Absolutely support this for many reasons.
At the university level, there is really no excuse for closed book tests. Quality tests focus on how well students understand the material, and have questions that are complex enough that attempting to learn the material while taking the test is infeasible.
"Don't forget to pair your device with the classroom [bluetooth] attendance meter and to join the school [WiFi] to access school resources"
Nor the economic power to extract money on a global scale
I cant speak for Haskell but imho earlier scala codebases suffered from either too much javaism or too much haskellism. The language is so flexible, you can write code either way. People brought too much baggage. Javaists brought Spring Guice and tones of other sht that simply does not belong in Scala, Haskellers did their darn best to write Scala code exactly like they would write it in Haskell with very little consideration for Scala or JVM. The results in some code bases aint pretty. You basically need to know Haskell, Java, and Scala to read the code where people have went overboard.
Having said all that, Scala is still my favorite language on the JVM, and Scala3 really stands on its own when compared to Scala2 more hybrid approach
Gold is about 0.8 tons / troy oz. Given the current exchange rate of ~30 troy oz / BTC, that's 24 tons of CO2 / one-bitcoin-worth-of-gold.

At current mining rewards, 329,000 BTC are mined each year, producing 37 megatons of CO2, or about 110 tons of CO2 / one-bitcoin-worth-of-bitcoin.
> It's also less efficient than a normal heater,

If you're saying that "normal heaters" produce more heat for a given amount of electric usage, that is absolutely wrong. Yes heat pumps are more efficient, but those are not "normal heaters". Sounds like you're either being disingenuous or you have a misunderstanding of basic physics.
What's your suggested Asciidoc toolchain?

(Pandoc will ingest Asciidoc as well as Markdown, FWIW.)
My biggest problem trying Wayland in Ubuntu 20.04 was not actually with graphics, that worked well for me with my Radeon card. My issue was with my Logitech T650 trackpad, since Wayland also handles pointer events and scrolling and such. I can't remember exactly what was bugging me about it, but it was annoying enough that I switched back. (Xorg still isn't great with this trackpad, but it's usable.) And my apologies to the community, but I also didn't have the energy to figure out the details enough to file a bug report, as switching back to Xorg solved my problem. I will try to revisit this and see if it's still an issue in 21.04.
Not defending Proctorio, but: As I understand it, the software results aren't directly used to penalize students. It just flags the situation for review by an actual human if the software doesn't have high confidence that the student is looking at the screen most of the time.

That doesn't mean there isn't a violation here, of course.
Yes, google is now offloafing the storage requirements for our data onto... Us. One problem for google: physical access is the highest trump card in security.

I cant wait to see a third-party chrome plugin that exists to poison the data en masse.

Our hard drive gives us actual control. Think deleting cookies changed the browsing experience? Imagine being able to intentionally spoof this floc.

Until we develop this capability? It is an absolute privacy loss. Afterwards? "Incognito mode," eat your heart out.
> So it is crucially important that this type of software receives a lot of scrutiny to make sure it works as planned.

What's crucially important is that this type of software is BANNED. I now have a new question to ask schools when my kid applies to one.
You are right. The compositor crashing is equivalent to X crashing: everything goes boom. In the X world, if gnome-session dies another one gets automatically started and you may not even realize what happened.
I know it's meant to be a hippopotamus, but the default desktop background just reminds me of a couple of hairy testicles.

https://res.cloudinary.com/canonical/image/fetch/f_auto,q_au...

Definitely changing that after install, I don't want to be greeted by a giant parcel of pubes when I log in.
Here's my solution to this:

1) Version control all assignments. I force them to make periodic commits throughout the week. If they want to copy a project wholesale, they have to do so in a way that takes a lot of time and effort.

2) Comparing bytecode. If they change the names of variables, comments, spacing, etc. these superficial differences will be lost in compilation.

3) Oral explanations. Now that everyone has guaranteed access to screen recording software, I force my students to record an explanation of their work. They go through their code line by line and explain it to me. I can tell very quickly when a student is explaining code they haven't written. If they are explaining code they haven't written to a satisfactory degree, then they've at least demonstrated they've learned something.

4) Remove incentives to cheat. Give them all the resources they need and more than enough time. Provide easily accessible venues like chatrooms and forums where they can ask questions anonymously. Provide opportunities to improve prior poor grades so they feel like failure is okay.

This doesn't eliminate cheating 100%, but from my experience it does seem to cause cheaters to fail, as their cheating does not pass for acceptable work. The students who earn an A come to see me during office hours and I know they are doing the work. I would say very rarely does someone earn an A who is not on my radar as being an obvious high-performing student. If a student is cheating and earning an F or D, I can't say I care much about that.

Notice none of these methods involve an invasive surveillance regime. I don't require cameras on at all time, 360 degree views of work areas to prove no one is helping, software to monitor tabs and processes... all this is completely futile. The students hate it and it incentivizes them to find ways to thwart it. They feel justified in doing so. I saw one post that advocated running a high speed fan to drown out typing noises, wearing reflective glasses in a dark room to foil eye tracking software, putting Vaseline on the camera... all to what end? To cheat on a psych exam? It's an arms race that's not worth fighting. The solution here is to adapt teaching methods with new technologies and testing methods.
This is silly. Make the exams open book and then the only thing you really need to worry about is the correct student taking the exam. If you're testing based on memorization of things in this day in age, then the course is useless.
Yeah, this seems like one of those "correlation is not causation" situations. If you noticed that languages many people loved were correlated to languages that were used for new projects, it seems crazy to eliminate "loved language causes people choose it for new projects" in favor of "people choose it for new projects causes loved language".
WASM and Wasmer are not intrinsically anymore secure, except for simplicity, than any other editor plugin system. Vimscript and Emacs-lisp basically have the same security characteristics as using WASM for plugins. It's not a step in any direction, except for whatever environment Zellij exposes to the plugins by default.
I think of control groups as being adequate for what their inventor intended: approximate sharing of resources between non-antagonistic, first-party processes. Outside of that zone they can't be relied on for much of anything.
They plan to provide a PPA for Gnome 40 on Ubuntu 21.04 https://discourse.ubuntu.com/t/introducing-gnome-40/21508

In the mean time, there is an unofficial PPA https://launchpad.net/~shemgp/+archive/ubuntu/gnome-40
that is completely irrelevant. they are acting under the university, and their "Research" is backed by university and approved by university's department.

if university has a problem, then they should first look into managing this issue at their end, or force people to use personal email ids for such purposes
That's one of the reasons I wish more people would run Windows 10S or whatever the store only version was called. Or iOS.

Can't install shady third party drivers, can't install stuff like that that mess with hypervisors (and anyways, every app kind of runs in a sandboxed process anyways) and your app can go in the background at anytime!

Don't like it? Roll your own devices.
You are not involved in my family. I'm well enough to determine what the threat model should be for my mother as she has trusted me to do so.

As it stands, Signal is more of a threat to her well being than anything else.
Scholars need codepoint assignments for obsolete scripts though.
My guess is that it was downvoted because it violates two of the comment guidelines:

> Comments should get more thoughtful and substantive, not less, as a topic gets more divisive.

The parent comment is neither thoughtful nor substantive, merely agreeing with the grandparent -- a verbose equivalent of a "This!" comment. A better comment might include the commenter's reasoning, their experiences with other platforms and their pros and cons, or how they have used Ubuntu personally or professionally, for example.

> Eschew flamebait. Avoid unrelated controversies and generic tangents.

The parent's implicit dismissal of Windows or Mac desktop platforms as un-enjoyable could be interpreted as flamebait, since choice of operating system can be a common point of contention.

Hopefully this explanation helps. Since the comment was low-quality but not flagrantly bad, I assume it will pick up one or two downvotes but not a flag, and will sink naturally down the discussion as higher-quality posts supersede it.
A GPL style vulnerability sharing agreement. The “in the future” is the real delicious clause.
An open source minimalistic mouse mover application
2021 will be the year of Linux on the desktop.
This article points to one poorly designed website which uses CSS media queries incorrectly (poorly chosen breakpoints) to try to justify that media queries are bad and it fails to mention the millions of websites which are doing it right.

> Cross-site inconsistency

The whole section doesn't present a single logical argument. The author later tries to argue that designing a completely different interface for each device type will somehow lead to a more consistent design across devices... That is completely contradictory. Also, maintaining all these different interfaces will involve a lot more maintenance work and will lead to inconsistent functionality between devices. I hate native mobile apps in part because the interface is often completely different from the website.

The whole point of media queries is to provide the most consistent experience possible between devices by sharing as much of the HTML layout and CSS as possible between all the devices. If the breakpoints are chosen carefully, it does an amazing job at this.

Responsive design is amazing. Just like any powerful tool, there will always be people who misuse it. It doesn't make sense to call something bad because it's flexible enough that it allows people to make mistakes.

People should stop blaming tools and start blaming people. Not all developers are the same. Many software developers these days are completely irrational and incapable of critical thinking... They should be working in a different industry. That's the real problem.

We try so hard to avoid hurting people's feelings that we end up blaming everything except the people. That's why so many people are completely incapable these days; most of them never received any criticism, never had any incentive to improve themselves.
>> As an employer, I don't care what piece of paper you have from what school. I only care about how well you can do the job I need to be done.

To be blunt, duh. I agree degrees are very imperfect & crude indicators of what you're try to measure, but what is your alternative? I'm getting DoS levels of applications blasted at me, how do I filter to an effective level that removes the same cheating mechanics mentioned here?
Author is a well-known shill who misuses and misquotes scientific studies in an effort to discredit environmentalism and alternate energy.
> the incentive is hashrate, and each generation of hardware is more efficient in terms of hashrate per joule

That only affects who finds the next block. It will always take about 10 minutes, regardless of hashrate, energy usage, hardware efficiency, number of miners, etc. since the difficulty is adjusted to factor all of those out.

For anyone who isn't a miner (and doesn't care to become one), the only variables which matter are energy-usage and difficulty-of-51%-attack (i.e. double spending).

AFAIK the only reasons to advocate for bitcoin mining are:

- A vested interest. Since bitcoin is a zero/negative-sum game, nobody else should care about someone else's vested interest; if anything they should be opposed (in the negative case; e.g. as a waste of shared resources).

- belief that double-spending is currently unacceptably easy, and would become acceptably difficult given the increased hashrate.

Whilst I don't know of an objective 'acceptable optimum' for the difficulty of double-spending, it would take a lot to convince me that (a) there are credible threats given the current hashrate and (b) those threats would be solved by an increased hashrate. The only threats that even come close would be on the scale of nation-states, or perhaps the largest tech multinationals; yet even if we're paranoid enough to believe they could pull off an attack, I fail to see how burning even 10 times as much energy on hashing would disuade such a level of paranoia.
Neat!

I guess from the 'ivfflat' keyword that this project is serving vectors produced by FAISS[1] somehow?

https://github.com/facebookresearch/faiss
I had to actually click on the "Download" button to make the download pane appear, but it seemed pretty straightforward to me.

There is a large link to "Ubuntu Desktop" at the top left. I'm not sure why this was so hard for the GP. Maybe it could be slightly easier if you didn't have to click on the big Download link in the first place, but it seems to require very low effort as far as I can tell. Maybe he's running on a textmode browser with no Javascript support?
Yes the connection of state and church in germany is really creepy to me too. Even if you are not part of a church it is backwards for the state to collect church fees at all and accordingly forces you to check the checkboxes on nearly all official forms what church you belong to. In addition we have to remember that Chancellor Merkels party which is one of the big two parties is called the "christian democrats" it is also totally common for the main news programs of public service broadcaster networks to report on the pope and bishops as if they were relevant political figures and also broadcast church service programs on sundays. The church bells will ring at incredible volume on sundays and other days without any mercy and everything has to be shut down on sundays, not even grocery shopping is possible.
Varies quite a bit. For me it was just a verbal interview with technical questions about how I would approach different problems. I sent a link to my GitHub beforehand and they were happy with what they saw so there wasn’t anything practical.
While I don't see that right away, I do think the image could have done without the hair.
People come from all walks of life.

You should learn some empathy.
I struggled for a long time to find a "full featured" dock that could support my setup with a single cable. I wanted 3x 2560x1440@60 monitors, wired ethernet, USB 3.x, and power without having 5+ cables to move around.

Last year Dell finally released the WD19TB and it's awesome. https://www.delltechnologies.com/resources/en-us/asset/data-...

I happen to run an XPS with Arch & KDE Plasma and everything worked perfectly out of the box. Highly recommended for anyone who has a TB3 laptop and is looking for a good dock.
I believe you're remembering this story:

https://www.theverge.com/21507966/foxconn-empty-factories-wi...
You're fabricating complications which don't make any technical sense as a justification to be angry about this basically harmless gesture. If you are that averse to the idea of being even remotely complicit in jamming the surveillance state, just don't use Signal.
Yeah, I tend to agree. But I know that there are some people who really, really, really like doing stuff in the browser.
Acquire knowledge; Intelligence is not necessary
Not sure how I feel about the native Active Directory integration. See some ups here but have some concerns as well.
You also get (probably) 30 days of paid vacation a year and up to 6 weeks of sick pay paid by the employer (and after that by your health insurance). You can't just compare the raw numbers to get a full picture.
Small talk in chatbots improves the patient experience
By this argument, living an entire life of suffering and then not remembering it when you’re dead would mean that it doesn’t matter and all suffering can be ignored. I hope that’s not the ethical code we settle on.
I'd love to see some cross between a Kindle and iPad..something focused on reading, but not necessarily books. At night I tend to browse various sites ranging from WaPo, Defector, The Athletic, and New Yorker, and others on my RSS feed and if I could do so on a simple eink tablet I'd probably reach for that more often than my phone or laptop.

Honestly if Feedly or a similar RSS reader came out with a dedicated eink reader it'd probably be a day one purchase for me, but maybe I'm in the minority.
Having obsolete scripts have codepoint assignments means that scholars can use Unicode for interchange. I think that's a win.
An open source bash scripts organizer (with in-built CLI and UI)
My reading is that the owner of any device the provider previously plugged in to could exfiltrate your mother's data by installing a persistent backdoor. Since this is a phone, I assume this includes email, passwords, etc. and they could use this data to e.g. access your mother's financial accounts. This is a fantastic vector for criminals.

Signal is providing a strong, albeit rude (likely in response to Cellebrite's claims), incentive to fix their shit. Would you rather have a temporary period where transfers weren't working, or deal with the scenario above in a year?