skysight-inc/HackerNews huggingface dataset:
It's still not really any where near finished is it?

I think they finally managed to get image manipulation in to replace the missing System.Drawing, but EF Core is still woefully half-finished.

The literally seem to have no clue about how people actually use their system and keep focusing on all the wrong things. Actually, it's more like some idealist programmers have become the core team instead of getting-it-done programmers, so it's all the latest fads instead of getting finished. The obsession with async isn't helping either, it makes the code so bad for no real-world performance gains.

My impression is they are moving super slowly and from the POV of an existing customer, the whole process has been a complete disaster. It might end up ok, but at the moment it's just a bad version of existing .Net.
If I built a computer as heavy as my first Thinkpad using a modern processor and filling the rest of the machine with batteries, I'd have a month of continuous use ;-)
If everybody is required to publish tons of stuff, you're just creating tons of stupid stuff no one will read, and that crap is going to cover the really important stuff.
Yeah, I meant the startup culture in SF/SV. Among regular companies I assume .NET will have a fair share of use.
Ask HN: Do you have an aversion to time tracking/screen capture software?
With freelance/contract work, do you have any issues with using time tracking, screen capture software?
Ask HN: What Tools/IDEs do you use for large Java Projects?
I am working on a Java project with 2 million lines of Java code. It is a maven project and some plugins generate source code during the build process.

I am using Intellij and some times it seems very slow even on quad core i7 with SSD. I have tried Netbeans and it is slow too. I have wasted entire day trying to import the project in to eclipse. It does not like some maven plugins and it does not compile.

What do you use for large Java projects.
Veda Haccı Şiirleri
I don't see battery life going down when plugged in on a current MBPr15, even when torturing it w/ recompiling all my ports tree.
anyone trying to write database agnostic software.

Who are these people, really? Noone tries to write language agnostic code then gets upset when it won't compile as both C++ and Java. People who try to write code that will compile on both Unix and Windows accept that they must make compromises... Or they have lots of platform-specific code hidden in a framework somewhere. So that is a silly argument.

If you are investing in a platform - and I don't just mean licenses but TCO, incl hiring experienced people - then it makes sense to exploit all of its features to their utmost and extract the most value. If you aren't doing that then you are coding with one hand tied behind your back.
I don't quite understand why Z3 is part of the TCB. Isn't Z3 generally used to generate proofs which are then verified by the respective proof assistant?
No, this was for after work.
on Ubuntu, and other GNU/Linux distros as well:

https://github.com/anbox/anbox

Edit: it appears they "don't support any possible Linux distribution out there yet".

It's distributed as a snap package - only Ubuntu 16.04 is officially supported, though.
If you're going to reward only high-quality studies you'll lose the larger part of scientists, because there are very little of them who can produce anything high-quality.

What you're proposing is mass unemployment.
This looks like a re-imagined version of envdir, from DJB's daemontools.[0]

0: https://cr.yp.to/daemontools/envdir.html
So it was literally impossible to run the device at full load for extended periods? Presumably the battery eventually hit 0 and the devices was then power limited? That's insane. I assume thermals prevented it before the battery did, however for premium devices, it seems like a profit protection measure for Apple, rather than a cost saving feature for uses.
Have you seen what happened to economics?
Ask HN: What have been your experiences using Node.js with and without an ORM?
I've been running debian on one of the first unibody MBPs (5,1) for maybe 3? years, all drivers work (closed source nvidia driver needed for proper graphics though) and it's mostly excellent, but not without a couple manual tweaks that I found necessary, mainly:

1) I can't speak for the newer models but many of the older models have an extremely blue monitors without colour profiles, however it's relatively easy to fish the icc colour profile from OS X, then it's just a matter of deciding on how to apply it to your xsession (simplest and lightest is manually with xcalib).

2) Dual graphics... these are a pain and I believe affect most of the newer models also, the solutions differ slightly depending on both the model and the combination of graphics cards. This can be confounded by old nvidia drivers that lack kernel mode setting and give you a nice black screen on ttys. My solution was to adapt my own tiny little utility for controlling the gmux switch (Apple specific, and also slightly model specific), this just basically just provides a switch between integrated and descrete graphics using slightly model specific GPIO ports... Once adapting and compiling that you need to automate calling the switch at various points, I found it was best to initiate the gmux (just by selecting you prefered GPU) when the xsession startsup, (this preserves the tty until X starts, and works around the annoying nvidia mode setting issue for startup at least), than also on wake when the gmux seems to forget itself.

The main reason to do the whole GMUX thing is not necessarily to have choice of GPU (my discrete one doesn't actually work properly with nvidia's linux driver anyway) but to allow it power off the unused one GPU, without this selection you will have an instant cooker and it's really not pleasant to use.

Newer MBPs or those without nvidia cards might not need so much messing around... a single card is always the preference because then you can forgo the whole GMUX nonsense (my model is 10 years old now). The linux kernel actually has some gmux stuff built in, but it didn't seem to work on my model, it may only apply to newer ones.

I switched from 10.6 when OS X was still pretty lean, but even then I noticed many performance improvements... It's difficult to do direct comparison though because I don't run a full DE, just i3wm, the main advantage really is customisability, and being able to run something relatively far lighter. Graphics were noticeably faster though, Although I suspect that's because there was some sort of soft underclocking going on in the OSX drivers (these were the models plagued by the low lead solder micro fractures on the discrete GPUs, which apple "fixed" (read: pushed out of warranty) by underclocking)
The Death of Big Software
Show HN: ajl, a simple compile to C++ language
It would be a very good outcome if society stopped believing anything that comes out of the mouth of a "scientist".

It's just sophistry all the way down.
Syntax is inspired by Python, Nim, and probably other languages I have used. Still a little WIP, but enough is there. Let me know if you run into any bugs!
Why?

Apple has been in the business of automating daily tasks on the iphone for a decade now, holding them to account when it comes to when autocorrect could lead to a person's death, and when it is trivially innocent, is at this point perfectly fair.

There are thousands of brands, so having a cherry-picked list of just a few of them preinstalled in the dictionary is something anyone who specialises in autocorrect (say: someone who's worked on it for 10 years and has run into virtually every edge case loads of times by now) knows you should not be doing.

Instead of having autocorrect kick in at all, it should simply go "I do not know this word", so that the blame does lie with the user when they tell the phone to add their medication to the dictionary.
If you doubt its occurring, mayhaps you can share facts which lead you to that conclusion?
> why ISAs don't have special instructions

IBM System/360 and its descendants actually does have instructions to convert between decimal and binary representations (CVD, CVB), decimal arithmetic and even instructions for formatting numbers (ED). I should also mention PACK and UNPK to convert between character and packed decimal number representation.

Today, of course, it is less important to have those instructions because computers are used less to crunch numbers and more to do other stuff.
American Image Suffers – Pew Research Center
and how do you exfiltrate the data?

if you can tap on petabytes/s of data with your probe, how can you move that data for analysis or how can you decrypt it in real time in case you only want to retransmit portions of it?
Also see reactcards (devcards for react): https://github.com/steos/reactcards
Everything works with Debian 9 on my Macbook Pro 11,1 and it's noticeably faster than macOS Sierra and High Sierra.
Iterators on small lists aren't always more efficient.
Well, this is a serious regression from 3d printing :)

More seriously, this is genius. I can hardly imagine how challenging it must have been to build something that automatizes finding which parts should be glued and act as joints.

This could also have impact for all early age kids schools. Is there any way a teacher could easily generate a model from a few pictures and make it some papercraft for kids? Or if not, are there limitations on which models can be used, or is it possible to use a 3d scan? Just imagine the awe of kids who made a paper model of the school's pet or something. Also a good way to create some interest for DIY in them.
Excellent reminder of why 'useful PoW' is a very bad idea. Furthermore, the value of 'useful' may vary over time to the point where it exceeds the value of mining. That is when a 'useful' corporation takes over mining and decides to kill the chain because 'useful inc.' is promoting its own corporate token (another bad idea: bad ideas generally lead to other bad ideas).
That's a very good point and I don't know either.

Possibly: the process to manufacture the molecules is also patented, and you must make the racemic mix to extract the active enantiomer. Not sure though.
Just don't be surprised when the mentor is younger than you are. Age is not important.
There are regulations on how much li ion battey a machine may have to be allowed in the cabin pn a plane. I think many companies won't cross that limit. So something like the removable / modular batteries from the past might be great
They help Fatbergs to form.

https://en.wikipedia.org/wiki/Fatberg
Newsflash: HTTPS is not bulletproof. Subtle weaknesses are uncovered regularly. The latest: https://thehackernews.com/2017/12/bleichenbacher-robot-rsa.h...
Why Imitation Is Your Key to Trading Success
Do a clean install. My 2010 runs just fine on HS with none of those issues.
If you take a look at the circuitry on some recent cheap multi-mode blinky lights you can find a likely analog IC fabricated right there on the surface of the small PCB and covered with a drop of epoxy, along with a few discrete components and battery holder.

I found a more advanced digital application where the memory modules on our automatic titrator's exchangeable burets are fabricated on about a 5x20mm ceramic substrate and covered with the epoxy droplet with only the gold-plated connector pads showing. Only a limited byte capacity is needed, enough to contain the serial number and a line of variable text to store a couple user variables.

Small feature size and physical chips off of a multi-IC silicon wafer are not exactly essential for such a simple application.
Considering that AMD processors now have the streaming encryption capacity to encrypt data as it travels to and from the memory controller, I think we're at a point where performing high bandwidth symmetric encryption is not significantly more expensive than the existing encoding/transport costs.
I have a 2011 Macbook Air (13-inch) and my battery has a “Service Battery” alert. It’s very slow when the battery is not at full capacity but it’s fine when the battery is full.

I ordered a replacement battery off Amazon last week.
IntelliJ IDEA probably is still your best option. There are some optimisations for large projects like setting your usual -Xmx, -Xms and MaxPermSize JVM parameters:

https://crankingcode.wordpress.com/2009/10/13/handling-large...

Additionally, idea.jars.nocopy=true can be useful to reduce the number of files that are written to the disk.
Not sure what you mean. Are they things you don't want to do? It sounds like it. More info please if you want some answers.

Personally, I'm learning multiple skills, I'm doing all of them because they're exactly what I want to do. Trying to be too rational about stuff has never worked for me; I mean, I don't think making a timetable like school and doing each activity for a set time would work for me. I do whichever I feel like at the time.
Lenovo did (still does?) the same thing. My old T420 shipped with a 65W charger but required 90W peak power to run at full clocks. At some point it decided that even with the battery in place and fully charged that it will only run throttled down to exactly 800MHz! With the cpupower tools I could make it run at full 2.7GHz but without frequency scaling of any kind. It was either 800MHz or 2.7GHz.
Cognitive behavioral therapy for insomnia was the biggest improvement I have ever made to my quality of life. Like OP, I struggled with insomnia my entire adult life. I didn't realize that sleep was a thing that you could see a doctor about. I was sleeping about 4-6 hours per night before CBT and 6-8 hours afterward.

One of the amazing things about CBT is that instead of building up a tolerance, like you would with a sleep aid like Ambien, it gets more effective over time. It's self reinforcing, positive feedback loop.

My sleep isn't perfect, and I still take an Ambien every once in a while like on a red eye flight. However, if you're having trouble with sleep, I can't recommend CBT highly enough.
True that. I'm considering cutting off netflix and going back to torrenting as the "no ads" mantra only means "no explicit ads" it seems.

i.e : Gypsy first episode was filled with Channel perfume branding. NO -f'ing- GO
Discourse Gives Back 2017
No tax breaks for Ruby.
I was taking about the teams compare this where the bottom 2 teams from the top flight football get relegated each season - this is like the bottom 2 teams in the nfl get dropped and replaced each year
seriously what's wrong with this community?
Nice contrast to the VW scandal. And that is just the US. Wonder how many people will go to jail for this one.
I have given up on .NET for the most part. Wake me up when we are in Fedora's repos because until then, there are pieces that Microsoft hasn't (won't?) release that we need to get out of COPR.

The people of Dot Net Special Interest Group at Fedora are too nice to say this but I am not. Microsoft is dragging its feet and it is ridiculous.
How does VS Code play into their cloud strategy?
well, they can kiss my shiny metal: https://www.flickr.com/photos/wiredfool/901581193/

And then there's the classic Weston photograph: https://en.m.wikipedia.org/wiki/Pepper_No._30

(Edit, IOW, not a new problem, photographers have been pushing at this sort of issue for a long time)
I haven't tested it properly, and n=1, but I recently cleaned a MBP 2010: dedust, replaced battery (was at 85% with approx 900 cycles), replaced both fans, and reapplied thermal paste (I'd already replaced the RAM and HDD with SSD earlier, and dedusted numerous times already). If you follow iFixit guides and have the right tools (mentioned in the guides) its fairly easy to do. I'm not good with this stuff at all, and I managed. The problem was that the machine got very hot very easily. It still gets hot very easily (seems to even spike quicker now) but the fans need to work less hard.

The Nvidia GPU is also on life support on this machine due to a bug which isn't covered under warranty. For that I use Gfxcardstatus and keep the machine's GPU in Integrated mode (the slower Intel CPU). Its a widely known problem with the 2010 series. All apps which use Electron or Chrome put the machine's GPU at boot in Dedicated mode. Which is annoying. Firefox doesn't do this, and since 57 yields good performance. Although I'm not sold on watching videos in Firefox; Chrome/Safari might yield better performance on Mac according to certain anecdotal evidence I found (including my own).

Now, there's a few reasons why newer macOS versions are slower than older. One reason being APFS [1] [2] (Reddit thread [3] [4]). Especially when using FileVault. Keep in mind thats a state of the art MBP; its from 2017.

Regardless, we need benchmarks.

[1] https://malcont.net/2017/09/apfs-vs-hfs-benchmarks-on-2017-m...

[2] https://malcont.net/2017/07/apfs-and-hfsplus-benchmarks-on-2...

[3] https://www.reddit.com/r/osx/comments/72z2v5/apfs_vs_hfs_ben...

[4] https://www.reddit.com/r/mac/comments/6nnaex/i_made_some_ben...
Do you use Rider professionally with other team members that use Visual Studio? If so, can you elaborate a bit how your experience was? I'm a Java developer that is now working with C# and Visual Studio is driving me crazy. I want to use Rider but I'm unsure on how it interacts with TFS and MS-centric workflows with other team members.
Maybe it will happen through ARM getting traction in the PC market. We've already had Google's new OP1 chip, and apparently ARM licensees are also having another go at Windows laptops:

> Later this year, ARM will appear in Windows 10 laptops powered by Qualcomm's Snapdragon 835. The laptops are being called "cellular PCs," which will include smartphone-like capabilities of cellular connectivity and long battery life.

https://www.computerworld.com/article/3161291/chromebooks/ar...
This is so first world problems that it hurts.
You can just resize the browser window. Then the content is flowed nicely. Or the reader views, which allow me to set up a nice formatting and theming best for me. Frankly if the reader view did not exist, I'd read a fraction of what I read online.

Also, those who make websites, just please be nice people and keep the underlines below the links. Why confuse the reader? Why impede quickly skimming through a page for interesting links? If they are ugly, they are ugly to you, that's subjective. I like them, and think they are part of the visual culture of the internet.

And then there are the evil guys who style some random stuff like links, but they're plain spans with color: blue and an underline... Least surprise is best surprise.
> This is typically not the case.

What you're describing is research in fields with lots of grant funding. In some fields, you don't spend your time writing grants, and you don't hire grad students to do your research for you. In those fields, teaching is important because you do a lot of it. In grant-heavy fields, it wouldn't matter if the university shut down their undergraduate programs, because the emphasis would still be on bringing in grant dollars.
Thats nonsense, absolutely.

They use an OTC broker like genesis or cumberland (DWR).

Can easily sell up to 100 mio and receive it in cash the next day.
This seems insane how are not all US hospitals using best practice in this regards the savings in insurance for wrongful death suits would be quite large in its self.
I think people like plan9 more for it's minimalism rather than for it's special features.

Also, there still isn't anything quite like 9p for other OSes. Although many of them can mount 9p filesystems it doesn't match the VFS very well so it doesn't make a lot of sense to share device files. FUSE matches Linux's VFS closely but lacks authentication support so it isn't useful over a network without a special wrapper. Furthermore, a lot of these OSes rely on the setuid bit for a number of things which you can't have in an OS like plan9.

That whole OS is just very different, it's not easy to emulate on something like Linux.
It’s not possible to separate form from content. You always get the information in some form, some design. Good design makes it easier to get the information.

Times was designed for a different world, I would say that modern typefaces designed for the web are easier to read on the screen.

Apart from that, different content works better in different typefaces.

What you despise is not design, I’d say. What you despise is bad design.
So what is the problem with that? Just because "normal" people don't care, doesn't mean they have to. If they want a plain-text file of data to read, let them have it.
I recently visited Cruachan ( https://www.visitcruachan.co.uk/ ) which does this, with four 120MW reversible turbines; it's great but requires very specific topology. Most countries don't have too many places they could build one.
Basic health care, there is no magic in EU (I am not from US). Any savings that you will have can greatly improve your quality of life on retirement.
There hasn't been a day without war since WW II ended.

Veto power in the security council strongly correlates with being a nuclear power.
While I understand your broad point, I don't think it's helpful to conflate the study itself with the media reports of said study.
We are getting a bit off point here. I agree with your overall point, but that's not what I'm arguing. I'm simply saying that there are reasons to criticize Oracle's DB offering that extends past 'limit/offset syntactic sugar', and there are a lot of quirks.

As a cheap, easy example of such quirks you can look at software that has to work around them, like Django.
They provide you with the convenience to push to Azure with a push of a button. These extensions are automatically recommended when you modify various file types.
This is an excellent blog post.

If you believe a proof of correctness produced by a formal verification tool, I have a bridge to sell you.

For a proof of correctness, you need to model the environment, and write a specification or a golden model. These are just as prone to bugs as the system you are trying to verify (even assuming the tools are correct).

That is not to say formal verification is useless. Developing a proof will force you to formalize your intuitive grasp of the system and its interfaces. Counterexamples produced by the tools will often help to find deep bugs that would be almost impossible to find any other way. And after many iterations of debugging both the system and the proof, you might gain a lot of confidence in the proof and the system.

But even after all of that, trusting a formal proof as a guarantee of correctness is insane.
that's why I wonder if some new open source license may be useful, the cloud providers are all big players that I totally believe they will respect all the licenses
I think they just want to introduce a generation of teenages to VPN's because any sane person can see how this is going to go, that's assuming any site outside the UK even bothers to comply.
They do.

I use Jekyll to build my site, which is served up with nginx. 2+ years and 100+ articles later and I think it was a great move. You tend to strive to keep things fast and minimal, rather than bolt on a bunch of bloated plugins and other things that detract from the reading experience.
Responsiveness and device expansion would be two such things.
Came here to say exactly this, Moris Mano is a very well written book. The subject was "Logic Design". Though I now don't recall what it was for, Karnaugh Map was one of my favourite pen and paper exercises. Fond memories indeed