skysight-inc/HackerNews huggingface dataset:
Thanks for sharing, that would help with many uncomfortable things that you don't want to deal with
At least some of the phone spam is for real businesses / services, those should be easy enough to stop?
> mechanical task of taking notes rather than actually absorbing and engaging with the content

The mechanical task of taking notes is one of the most important parts of actually absorbing the material. It is not an either-or. Hearing/seeing the information, processing it in a way that makes sense to you individually, and then mechanically writing it down in a legible manner is one of the main methods that your brain learns. It's one of the primary reasons that taking notes is important in the first place. This is referred to as the "encoding hypothesis" [1].

There are actually even studies [2] that show that tools that assist in more efficient note taking, such as taking notes via typing rather than by hand, are actually detrimental to absorbing information, as it makes it easier for you to effectively pass the information directly from your ears to your computer without actually doing the processing that is required when writing notes by hand. This is why many universities prefer (or even require) notes to be taken by hand, and disallow laptops in class.

1: https://www.sciencedirect.com/science/article/pii/0361476X78...

2: https://www.npr.org/2016/04/17/474525392/attention-students-...
Flamethrowers are regularly used as weeding tools though. The best way to kill weeds on the edge of a field or a ditch is to burn them.
The monad does enable imperative programming in Haskell, yes. But it is not needless complexity. It enables an imperative program to be assembled using a pure functional program. Imperative statements become first class values, control flow constructs can be just user-defined functions, no macros needed.
Monads, of course, also allow us to change the meaning of a semi-colon. This can be used, for example, to implement lightweight fiber threads with custom schedulers, again all without macros.

It has been said that Haskell is the world's best imperative programming language: https://stackoverflow.com/questions/6622524/why-is-haskell-s...
I'm sure he's flown on a plane before - he's a fully grown man.
Whereas an Anglepoise lamp actually will last 60 years. Many already have. It's too early to know if their LED variant will.

Dyson had one decent idea that everyone else adopted too - cyclones instead of bags. Everything else seems to require paying 10x what a sane premium and expensive cost might be - lamps, hair dryers, fan heaters.

The innovation is making it appear complex enough to justify the absurd price. I bet they are still using too much ABS plastic that'll be disintegrating after 5 years.
Ask HN: Why are you using Functional Programming?
I know it looks the same, but the above question acts like two different questions depending on whether you are a programmer or you hire people.

If you are a programmer, do you feel that FP makes your life easier? Is it more fun? What are the advantages of this paradigm compared to others? Do you feel advantaged/disadvantaged when looking for a job?

If you are in a position to hire people, why did you feel the need to deviate from the corporate "norm"? Do you think FP gives you a competitive advantage in your field? How has this choice affected your hiring practices? Is it harder to hire due to the smaller number of candidates, or is it somehow easier?
I'm no expert, but shouldn't x86 then produce two 128-bit register entries if it multiplies two 128-bit integers, so totaling actually four registry entries on a 64-bit architecture? If this were the case, Intel would slow down just as much as ARM on a double-than-archictecture-width-integer multiplication, but it doesn't. That's what I find mesmerizing. I'm guessing that Intel simply discards the earlier double registry logic once it goes beyond architecture width, which would explain the speed up.

I.e. 64b * 64b = 2x64b registry entries, according to MUL should be 128b * 128b = 2x64b * 2x64b = 4x64b, but Intel discards this in favor for 128b * 128b = 2x64b * 2x64b = 2x64b.
The Video Surveillance System IBM Built for Philippine Strongman Rodrigo Duterte
Can't be hard. I run my own personal web site and don't use Facebook or Google. Not because I'm trying to go all distributed or something, but because I think the products just aren't as good as the ones I happen to use.

I realize my profession and skillset put me into a minority that can even do this. And I realize this last statement is in contradiction to the first sentence of my post.

Oh and if there was a site that did a version of Facebook like it was in 2007, I'd sign up to that for sure.
This reminds me of the sole draining * job as a "web developer" to turn word documents into HTML. I imagine such a job also exist in science, but instead of Word to HTML you turn paper notes into LaTeX. He could probably make good money helping professors write papers.

* You coded since you where 15 years old, wrote your own game engine, wanted to cure cancer and save the world, and now your job is to copy text from one document to another.
The techniques in the article definitely are useful to improve efficiency of typing math. I have used vi/vim and latex for many years (over 20). And this still impressed me a lot. Can’t wait to see how he does the figures.
Anyone find some counter arguments ?
So, good effort would be to help it grow, instead of perpetuating MS lock-in.
> ... pay for Facebook and Google... by sharing data for ad targeting... The GDPR specifically forbids that option.

All I can say is that this is not my lived experience of Google and Facebook in the EU. This is also not those companies’ interpretation of that law (nor a common one).

There are real arguments against the burden the GDPR puts on companies who hold/process significant PII (which I am sympathetic to), but this is not one of them.

> ... powerful bureaucracy that does only the things that you want.

The same could be said of any democracy. My point is that there is no democratic basis for Article 13. It’s only getting support because IP law is too boring and abstract for most people to get worked up about.
Samsung Galaxy Note 10.1 (the tab) had a feature in cooperation with WolframAlpha a few years back that translated your handwritten formula into a nice digital formula. It was like 90% there. Unfortunately fixing interpretation errors was a pain in the ass, which made it basically useless.

I wonder if there was any meaningful improvement on this approach. Even just adding a nice UI to fix errors would've made it really useful.
I live-TeXed notes for some of my math classes and it was absolutely a great idea.
This is my main concern.
A template expander is indispensable for productivity. I have a perl script that expands text based on matching regular expressions. In this way I'm not tied to any particular editors: I wrap it in an AppleScript for a text service, and I wrap it in a shell script for working in Acme.
Yes, after two failed attempts to conquer Europe by military force, Germans finally realized they can achieve the same effect much easier with their economical power and then created EU :)
Is this a joke? The intro reads like The Communist Manifesto!

The author lumps together the effects of state capitalism (fascism) and economies of scale that apply to the partially free markets in the West.

Excessive regulations actually help G-MAFIA, so more of the same is unlikely to help.

The society doesn’t need anything. Individuals - some individuals - desire a different Internet or services, but are they willing and able to pay for it? 99% of them are not. So maybe they don’t really need it, after all.

A tiny minority of geeks use various niche decentralized Web projects. Those work, are free, etc but 99.999% of people don’t want to use them. They do not need them.
It’s not a problem with annotations or Spring - could happen e.g. with SPI and anything that’s discovered in runtime. It’s about how you build your project and configure dependencies (separation of API and implementation in different JARs is typical for Java and implies certain way of thought about build and deployment).
I have an app for a product I helped build at a startup that launched and went under back in 2014.

The app which now displays the "This app needs to be updated by the developer to work on this version of iOS" message.

That ain't gonna happen. (Not even sure if anybody still has the keys to that Apple Developer account or not. The end of that startup was not very pretty...)

Fortunately, this device exposes all its functionality via a local web server - the app was mostly a neat way of finding the device's local IP address then opening up a web view for that. So at least it still works and can be configured - you just need to know how to find it's IP address via other means...

Six decades? We didn't quite make it 6 years...

:sigh:
said every dude walking through Restoration Hardware
Could systemd be described by Gall's Law as well?
Hi, what sort of complex derivations can you solve for with Sympy?
Management fudging numbers is a big difference form “they weren’t allowed to disclose”
Dropping a bombshell: https://github.com/brennier/quicktex
But then again, email spam has been solved for the most part

That list is kinda defeatist and misses the fact that no solution needs to work 100% of the time
My iPhone felt very laggy while reading this article. Purposefully slow website?!
You bring up very good points.

I wonder if having more women in trade work would influence men to join.
Petition: Revoke Article 50 and remain in the EU
Writing, briefly : http://www.paulgraham.com/writing44.html

This right there influenced bloggers, essayist and many writers as we know. The method of the essay as not as a school subject but as a way of generating and writting the deepest ideas (even recalling something you read 2 years ago).
It's not just misunderstanding papers, the entire social science field is in a replication crisis. A lot of people don't really want objective science and would rather push their agenda. Either that or they're simply incompetent.
397,618 signatures and gaining about a thousand a minute.
Curious: What kind / brand is it?
"If memory overhead (load factor) isn't a big issue, readers may also find cuckoo hashing rather interesting."

The issue with memory overhead (load factor) is actually something that Cuckoo hashing solves compared to linear probing. Bucketized Cuckoo hashing supports much higher load factors than linear probing. You can have your cake and eat it too.

I have implemented hash tables with open addressing and tombstones in the past (linear probing, triangular probing etc.) and I much prefer Cuckoo hashing now.

When Cuckoo hashing is combined with a bloom filter in the first position to reduce cache misses to the second position, it's almost perfect in every way: fast (drastically reduced cache misses), constant lookup time in the worst case (not so for linear probing), higher load factors (80% or more for Cuckoo hashing vs at most 50% for linear probing - this also affects amortized resize latency), not to mention elegant simplicity.

In case anyone is interested, here are some design details and decisions for an optimized bucketized Cuckoo hash table with bloom filters implemented for Node.js:

https://github.com/ronomon/hash-table
There’s one “must read” tutorial - documentation on official Spring website. There’s also github account with lots of examples. It’s better to ignore the trash that comes from search results, because either it’s trivial or obsolete.
> We need an alternative web that has less censorship and regulation.

This is absolutely not an obviously true statement, and we have, in fact, quite a bit of situations to the contrary.

For example, if someone is following my persona online and harassing me, I very much want to be able to enforce an "internet restraining order". That almost certainly cannot be done without some level of regulation.
I still want a model 3. I’ll just not use the autopilot.
"We are just a random bag of particles with self replicating power"

", maybe there is a lack of appreciation in your position for the physical self replicator, the actual source of life"

Maybe you've misunderstood my statement.

Only from the materialist metaphysical perspective we are 'self replicating bags of atoms'.

Materialism essentially starts out with that premise, i.e. that the universe is particles that behave according to specific rules we will eventually discover. It's a premise, not a fact.

The materialist premise is exceedingly useful for many things, but in it's extreme, it's ridiculously stupid as it denies what we accept as a very rational fact: that we are alive.

In other words - because we can't explain life with physics, doesn't mean life doesn't exist, it means that physics is probably the wrong tool for the job.

The mental trap of materialism is strong, sometimes we get caught in it like a Chinese finger trap: it's deeply nihilist to propose that we, as a life forms, don't even exist, and that the words we write, the thoughts we have, essentially don't exist, or are at most only the result of random interactions.

It's also exceedingly hypocritical to live life with purpose or expression, and then somehow to have some strange belief that it is utterly random and meaningless. I think it's actually totally irrational and illogical.
Paywalled article so didn't read.

The public's conception that there is a competitive bid process in the federal government is laughable. Sole source justification is the magic phrase and trillions of dollars of government contracts have been awarded under this auspice.

Back when I worked in the Beltway it was called FAR-12 evasion and you paid for quality counsel to advise you on all of the legal ways and means to have lunch with GSA employees for purposes of being awarded with sole source justification contracts under FAR-12.
> The only positive here is that Microsoft, Google, and Amazon are all cloud infrastructure companies so in theory, they could price their offerings cheaper than a company that is a tenant on their systems.

That would be considered unfair competition and they would probably be fined by EU, I guess
So, annotation was a solution to a problem (how to define a sequence in which configuration is applied), not a cause, right?
https://m.youtube.com/watch?v=Ice6GTtO3w8
Ask HN: Best Country to VPN Through
TL;DR: I need a cheap vpn server, resilient to occasional IP rights violation, with a sane ping from Moscow (Russia).

It is not intended for torrent downloading, but I have a huge family, and sometimes they're not coachable. Vultr already banned my account because somebody torrent-downloaded a disney movie. Hetzner cloud have an amazing offer in Helsinki, but being German, I'm afraid they can get copyright-angry very fast. So I'm looking for a country with good internet infrastructure and torrent resilience.

Traffic will be moderate. I think ~0.5TB across ~20 people.

PS: for an engaging anecdote (and to provide some context): my mom thinks that "facebook doesn't work without vpn", because about a half of mostly human-rights-activism posts that her friends share, are banned in Russia on domain level. And no, I can't talk her out of using fb, she has nothing to hide(
SpaceX goes all-in on steel Starship, scraps expensive carbon fiber BFR tooling
Can you please not do flamewar (especially the ideological kind) or take personal swipes on HN?

https://news.ycombinator.com/newsguidelines.html
>The woman in the demo looked somewhat real; if this is real time and reproducible in games then it's a huge step forward.

Agree, this is the first time ever, for a few seconds I have a question in my mind, was this really animated or some graphics overlay on actual human face. I think we are still far away, say at least another 10 years from technically possible replacing human actors. Not saying it will just the technicality of it.

But I do wish games be more cartoonish, or Animation, Cel Shading. The recent Naruto and Dragon Ball Z made those games as if they were OVA quality Animation. I am not sure if market wasn't buying it, or if those technique and level of quality are still hard / expensive to achieve.
Please don't post unsubstantive (or personally nasty) comments here.
Ok, I got it. They're exactly the same. Either way you'd need to do a second search, because you're trying to differentiate between 3 states: "probably a match", "empty", or "deleted". A much better way than stealing a bit from the hash prefix is using a special value that represents "empty or deleted", and that's exactly what SwissTable does: https://github.com/abseil/abseil-cpp/blob/256be563447a315f2a...
MacOS Terminal.app
Their contra-rotating drum washing machine was innovative but they pulled it from the market. Innovative ideas don’t necessarily having staying-power either.
I guess Rift S has lower manufacturing cost because it can
share some parts with upcoming Quest. The same tracking, the same controllers. And since they are already heading in that direction, personally I'm curious to know the possibility of combining Quest and Rift S, or PC and standalone VR. My guts tell me it's possible. I'm excited about the idea of two in one VR, with which I can watch a movie in bed before sleep, or show it to friends at their places', and plug in a PC to play a full blown action game. Two headsets and two sets of controllers are really too much for these purposes. I don't mind two libraries of games/apps though. Windows 10 and XBox One are already sharing content. It should be possible for VR too.
Nice setup. Good explanation and seemingly gets the job done.

Just one grievance: if you are concerned with parsing your latex (even if that's only possible while you restrict yourself), you should use the parentheses as math delimiters: `\( x + z\)`
I feel like the restaurant where a server makes $44 ans these struggling restaurants are not the same. Feels unfair to make it seem like the greedy server is gouging the poor mom and pop when they already made $44.
I live in Germany where those machines don't really exist (and you have to exit any store going through a checkout line usually, even if most people that don't buy anything skip them) and was just baffled at how uncommon that seems to be elsewhere when I was in London. And yeah I got shouted at by a cashier over not using automated checkout.
Donkeycar is open source and modular by design, so nothing prevents using reinforcement learning. People are going there already.
Great read, but this one:

”The cowboy cardiologists sneak in at night to try new meds or procedures on their patients."

wtf is that...
And you're expecting reliability to improve by a factor of ten million before 2020?
How I read the article it's due to a sense of entitlement and sanctity, accompanied by the fear of status loss.
Global lock much?
Usually the design engineer that handles the production board goes through the EVT boards.

Basically the purpose of EVT to a) ensure all the components identified in the initial survey/design review actually work together b) enable software development early in the process c) iron out any showstoppers and kinks that could jeopardize the project later on.

The next few design stages usually get rid of all the super-debug stuff (such as the ethernet port on the iphone; also maybe get the form factor down) while still retaining the regular debug stuff (JTAG etc). This usually when mechanical can jump in and preliminary compliance stuff can take place (EMC etc)
Oh... what's your mobile? Seems to be working ok on my iPhone 5 Safari and Chrome.

You do mean tapping a search result not a filter item like "small team"? This updates the resultset, but isn't the best solution now as you don't really see anything changing on the screen. I'm planning to work on the filter.
I wrote a simple compiler for mathematical operations recently, https://github.com/skx/math-compiler/ and I have to say I really appreciated the ability to get the two halves of the result in one operation.

I've just provisioned an ARM server so I can experiment with generating ARM assembly as well as Intel. No doubt I'll have fun learning of the different instructions available - until now I've only ever written assembly for intel and Z80 processors.
You're probably being downvoted because of the judgmental position you're taking. None of us knows how we would react in such a situation, and to talk down about it on a message board is in poor taste at best (even though you probably didn't mean it that way).

Also, I think you may be looking at this through the wrong frame. It's well known in the physiology of trauma that the body shuts down in overwhelming situations. That's the freeze part of fight, flight or freeze.
Very impressive.
The first displayed text page contains a typo at the bottom :
CHAUCHY iso CAUCHY.
As others have said physically rewriting is part of comprehension (as is rewriting new words learned in a new language)
As the lecture notes are drafts from the black board I suggest using a font that does not make it look like perfectly printed. You can fool yourself believing what you wrote because it looks so pretty.

If you are writing a considerable amount of latex his setup is really cool. I will you these ideas but using emacs in stead of vim.
Wonderful job!!
Facebook think they can make much more money targeting causal gamers. I think VR has a huge potential, not just in gaming, but also professional tools, like controlling vehicles and aircrafts. Imagine driving a drone, controlled via microwave radio, less then 0.1ms latency, and ultra HD view in all directions.
To be clear I'm taking that (or even arranging individual windows) as the "virtual desktop" option that the person I replied to thought was ... unimaginative.

I agree with you.
Learning is learning. He has clearly learnt how to do something. And do it well.

The entire article is very clear and well thought out. To me it signals a disciplined and methodical mind, that learns from doing. And we are lucky it's willing to share.
Those are really questions and issues of implementation than of theory.

1. Tabulation hashing provides guarantees against chosen key attacks.

2. In addition, bucketized cuckoo hashing provides guarantees on the probability of resize (low compared to linear probing), and multiple resizes (very low compared to linear probing).

3. Further, most hash table implementations that I know of have layers of defense, including limiting the number of sequential resizes for a given key.

Putting everything together, if anything, I would be more concerned with the failure mode for linear probing (scanning the whole table before resizing) than for Cuckoo hashing (scanning two fixed-size buckets before resizing).
It requires a double negative "a belief in non-belief" which is an absurdity to make an argument. Nothing more.

If I am to change my position of non belief in faeries, gods, little green men, moons made of green cheese, and telepathy all it takes is a little repeatable evidence. That is not belief in their absence. When the evidence is there I will be a) very surprised b) changing my opinion.
I have been toiling away at a side-project and recently realized I postponed talking to customers all the time.

As a test I forced myself to include a demo of that side-project in a presentation on a related topic to product managers (my side-project's target audience).

What I found out is that the fear that kept me from talking to customers is the fear of feeling exposed.

It's fascinating how strong and immobilising that fear is. It's stronger than the will to help people, improve the world and/or earn more money.
I got my wife the hair dryer and I'm genuinely impressed with it. It weighs nothing, uses proper PID control for heat and fan, heats up and cools fast and just feels good. The device stays cool while heating the air and it blows a lot of air while making hardly any noise.

In short, I can't imagine a more perfect hair dryer.

Sadly, I am bald and do not get to use it. I did spend a while gushing about how neat it was, though.
Show HN: Dollar Shave Club for Juul Pods