skysight-inc/HackerNews huggingface dataset:
>>The fraud Bury was referring to was related to mortgage lending

To be frank, I guess the parent was talking about general fraud trends. It will be a little disingenuous to suggest the same set of events have to repeat for it be classified as fraud.

For eg, these days start ups with no way of turning in profits, but raising billions in debt could be suggested as a fraud eventually.
I would say every capable programmer should be a "generalist" in a sense and be able to transfer their skills with relatively little effort. If they can't, they are not really that good at the abstract concepts. Still this doesn't prevent one from focusing more and specializing more on one field/language that they love and be as familiar with it as possible.
Maybe I'm old but that's common knowledge, the reason more and more computations are moving to the digital world is weirdly the simplicity of implementation and not accuracy, speed, price, reliability or anything else super sophisticated.

It's much easier, faster, maintainable and usually cheaper to add a cheap controller and peripherals than to find an electrical engineer to do the math and design a circuit.
Perhaps that’s how the sauna was invented
Reading this article with this song in the background https://www.youtube.com/watch?v=f6aPzCyJD7o x10s the effect.
Ask HN: What exciting new projects do you want to do this year?
Tell us a bit about why it’s exciting to you.
That sounds good, good luck
Awesome.

I think there's a couple other addons and things that will enable ipfs:// but Companion is the most common.
Type-Driven Development: Replacing Unit Tests with Types in TypeScript
Sometimes that's blocked too, you're forced to use the local DNS server, which is the only one authorized to access port 53/udp out.
But if you are a modal realist, then you get that comfort.

https://en.wikipedia.org/wiki/Modal_realism
AWS Serverless ICYMI Q4
The basic idea behind the parents argument is that you cannot own knowledge.

There are several arguments for this idea, and massive challenges to overcome if you actually try to act on this idea.
One of these challenges is how authors and similar content creators could possibly make a living in a world, where everything they produce can be copied by anyone.
There are several thought experiments which try to address this problem, none of which have been successfully implemented large-scale in real life (at least to my knowledge).

but the fact that challenges arise from such an idea does not discredit the validity of said idea.
it just means that we haven't found a sustainable way live by that ideal
Ah, thanks for the detailed explanation, I definitely needed a grammar revision.
Then learn TLA+ :)
If you want to see the big picture regarding swift and concurrency i recommend reading :

https://gist.github.com/lattner/31ed37682ef1576b16bca1432ea9...
There are experienced people who aren't terribly interested in "big-N" companies. Think about what you can offer other than money.

Private offices and/or remote working? More influence over technology choice? A more individualistic style of working, where you're allowed to take a non-trivial problem and disappear on your own for a few weeks? Those would all be big draws for me. I'm sure there are other positive ways to differentiate your culture.
The ops team care. When they'll want you to switch to another logging output config, you'll answer one hour later saying "done". Two days later, you'll fix another two or three of those config. One week later, you'll fix the final one.

It's annoying to everyone.

If it's not config, it's library versions, it's a change in a "boilerplate" argument, ...

Code duplication makes it hard to update all the code that should be "the same". Everyone involved in actually having code updated every now and then cares about it.
You should have at least looked at the reference section before criticizing.
Network protocols for anyone who knows a programming language
Most of the big maintaining teams (programming languages and DEs) are the same for both distributions.
Apache use after free bugs (unfixed)
Rise of Microsoft Visual Studio Code
Textbooks are usually supposed to be accessible to a wide audience so it makes sense when discussing foundations to start from a (hopefully) familiar set theory. It's usually a trade-off, since you end up repeating yourself when it comes to "internalized" constructions. "Sketches of an Elephant" is a good example of a textbook that pretty much presents everything twice. Once in an ambient set theory and once internally.

What I meant specifically is work such as the following:

Internal Universes in Models of Homotopy Type Theory - https://arxiv.org/abs/1801.07664

which explicitly works in an extensional type theory with some axioms to simplify and generalize a complicated model construction.

> For example is there a full, unrestricted formalisation of category theory in HoTT?

You can formalize category theory in HoTT as presented in the book. This has some advantages over a presentation in extensional type theory or set theory (being able to work up-to equivalence) and some disadvantages (universes in categories have to be constructed explicitly, since the ambient universe is not truncated). In my opinion, it's not the case that one is strictly superior - in the end it always depends on what you want to do.
cool but pointless and you can't copy the url.....
Very interesting to see how a particular style of game can have beneficial effects on attention. I wonder if the opposite is also true, although I'm sure there's some ethical issue with trying to find out.
I was listening to this Hashing It Out Episode with the founders of Storj[1] yesterday. Apparently IPFS isn't even that resilient. The Storj founders said that if you take a look at the IPFS sub-Reddit, half of the links don't work. That's not to discount what you're asking about, but it seems like the gamification for keeping IPFS files up forever is not a huge issue at the moment.

[1] - http://thebitcoinpodcast.com/hashing-it-out-34/
That's not the syntax, that's just the ASCII representation. The syntax, which is what you get when the Toolbox presents your spec in pretty-printed form, is:

* ∀ p ∈ people

* acc = [p ∈ people ↦ 5]

* ≠ for inequality

* ∧ for and

* seq1 ∘ seq2 for append

That's fairly standard mathematical notation. In fact, one of the things I enjoyed about TLA+ is that I didn't really need to learn the syntax, as it's so standard. Even the non-standard bits (like alignment that can replace parentheses) are quite intuitive.

And if you say, well, I still have to type the ASCII, then you're missing the point. Specifications are not internet rants where you dump a lot of characters on the screen. They are usually quite short, and you spend nearly all your time thinking or reading them.
Rate of change of a particular piece of code is a factor too, given. In my experience logging boilerplate has a very low rate of change, so I figured it was a good example, but I guess everyones experience is different.
Because not everybody needs all the stuff that comes with MinGW? Why install all that stuff if they don't intend to use it, just to get a package manager designed for another platform?

Apart from the fact that the MinGW port of pacman is designed for the MinGW environment only, and therefore doesn't necessarily integrate all that well with the rest of the Windows system, the packages it provides are mainly ports of software from other systems (chiefly Linux and BSD) rather than native Windows software.

Doesn't seem all that relevant.
>That's why the idea of consent feels so alien to me: it goes against my very experience with the (different) women I've been with.

Presumably, the women you've been with have provided you with consent, or else you've been incapable of realizing when they haven't. But 'consent' exists as an abstract principle not linked to gender, it's merely the capacity of an individual to have agency and ownership of themselves, so your particular sexual experiences should have no bearing on your comprehension of the term or its implications for future relationships.
You could go with the route other users are suggesting and eat something that is filled with water and will probably leave your system undigested (e.g. fiber-filled vegetables). Or you could also try ingesting mud, for that matter.

I suggest you give almonds, macadamia nuts and pork rinds a go.
Hiring in Leeds for a Software Engineer – Front End (react)
Why not take a look at:

https://www.skybetcareers.com/job/SBGAGB112/Software-Engineer-React-Webpack-TypeScript-WebSocket
A handful of people would be much more stressed for a few months and then they’d find someone to replace me.
A company can go under in two seconds with all the assets gone and the lenders will have to suck it up.
An individual has to struggle with bankruptcy laws for a decade or more to get rid of the debt.

So if I've got 10k to loan, I'd rather loan it to some poor sucker that I then own, rather than to a business that might disappear tomorrow.
This book is largely a work in progress, still -- note all of the TODO's. Async-await designs have to stabilize before the rest is done.
Probably true, but this also means that you need to find the source. And this is where debate occurs.

In this same way Enrique Iglesias would be called "extremely important" by naive musical literaries, Bloodhound Gang would be called "extremely important" by competent scholars; and finally, Pet Shop boys would casually be mentioned as "influential" by Yoda-level master scholars.
Same here, bro. I sincerely cannot even start to fathom how could 0x4015 create that amount of interaction, data, audio, shaders, engine, etc and just pack it into 4 measly kB. Damn!

I know they employ algorithmic composition for basically everything, still... 4kb wouldn't hold a single frame of anything to today's standards. It surely is impressive.
>code is written once but read multiple times

I'm familiar with the expression but it's not really written once, it's written and iterated upon. If I change something in a function that's called twice, I can be confident it will be the same change both places it's called: there's no programmatic way of verifying the change is the same if I copy and pasted, there I have to compare text. Humans aren't good at that.

So in Carmack's example, what if someone adds side effects to the pure, inlined code which don't break anything at the time? They could cause issues when someone later assumes the inlined code is pure. Whereas, if you have pure function calls, this is all done for you by a machine designed for it.
For me, Firefox on Debian, the only working shortcut is the Menu (which is not actually a menu in the normal UI sense, more like a menu in a restaurant).
Shortcuts are always difficult with web apps.
For this reason, I would always add an actual clickable menu to web apps.
Did a raid on an Italian fleet influence the attack on Pearl Harbor?
Wow, I have no idea how similar Dart is to JavaScript.

Isolate == Worker
Future == Promise
Exactly, His Dark Materials is mentioned in the article and is hugely popular.
The plugins provided ample features for me for the time. What are you missing in Zim for example?
Every sequence of coin flips has the same probability. The coin doesn't know that you have seen ten heads already.
Couldn't be said better, but nihilism can be solved by means of responsibility. And psychological problems by therapy, assuming you live a good life (1% or the privellage part of the world)
On a galactic timeline copyright terms are only the blink of an eye.
Using Zapier and Trello to automate your brain
I think you're mistaking the use of formal methods for some particular process (like confusing tests with TDD). Formal methods do not require that you have a specification in advance. They can help you come up with the specification, through interaction, before or during coding (e.g., this is a lightweight formal specification tool for designing UIs and interaction: https://sketch.systems/).

As code is itself a specification at a very low level, you must have some kind of specification in your mind by the time you write it. Is it always worthwhile writing it in some formal methods tool? No, but it certainly can be when there is some subtlety or potential complication, which can arise even in seemingly simple programs. The author of this post has some nice examples here: https://youtu.be/tfnldxWlOhM

It is true that formal methods only help; they don't solve all of your problems, and they certainly can and do result in wrong specifications (e.g. KRACK attack and Spectre/Meltdown are examples of a wrong specification), but that doesn't mean they cannot be extremely helpful, just as unit tests are helpful even if they don't find all bugs.
I mostly follow the 0, 1, N rule myself. The second time the code is needed I start looking into making the snippet a function and there's no doubt of doing that on the third account.

The reason I do it is having several small functions gives the program a custom language. So I can effectively start programming in my own semantic terms even if I was writing C. Building high-level constructs is easier in high-level languages, of course, but you'll always have to start with the lowest building blocks and even that helps regardless of the language!

The small functions will be marked for inlining and practically also inlined anyway so there's no performance cost. But it's immensely more practical to hypothetically write:

const size_t len = get_data_size(fragment);

rather than:

const size_t len = ((struct packet_header *)&fragment->databuf[4])->sz + fragment->offset;

The latter one is easy too because you know the code but you will have forgotten a year later.
What you’re missing is that in all these cases, some sort of series economic fallout was inevitable. The German economy was going to be forced into crisis & deep, unending depression by war reparations that it couldn’t afford to pay, Zimbabwe was going to collapse due to inability to pay for food imports.

The governments in question could have chosen not to print money. All that would have done would be to alter the distribution & order of the collapse. Its occurrence was inevitably either way.

Obviously the Zimbabwean experience was caused by awful choices made by the government. But these were not 'spending' choices. They were policy choices that in turn led to the collapse of the Zimbabwean economy.

“Justice” has nothing to do with any of this. Economics does: Hyperinflation is a result, not a cause.
>Even basic arithmetic operations, e.g. the average of two integers, is unreasonably hard with signed arithmetic.

What do you have in mind? I understand that the addition can overflow, but that can happen with unsigned as well.
I've certainly worked in poorly ventilated offices, and my bedroom is even worse. But I don't think I've ever gotten dizzy in an office. Is this something that affect different people at different rates?
Found it here: https://stackify.com/whats-new-in-java-10/

——— start quote ———

This feature has been a long time coming. It was suggested as far back as 2001, and was closed at that time with the following comment by Gilad Bracha:

Humans benefit from the redundancy of the type declaration in two ways. First, the redundant type serves as valuable documentation – readers do not have to search for the declaration of getMap() to find out what type it returns. Second, the redundancy allows the programmer to declare the intended type, and thereby benefit from a cross-check performed by the compiler.

——— end quote ———

Link to original RFE and quote source: https://bugs.java.com/bugdatabase/view_bug.do?bug_id=4459053
Yes, absolutely! A hundred line function can be trivial, and a oneliner can be complex. It has nothing to do with function length but how much complexity and dependencies they isolate.

What you say about specifications certainly rings true. In those cases the reader's preferred abstraction level is pretty much given.
Whomst?

The article points to Decoder being embedded in an app, Peak Brain training:

https://itunes.apple.com/gb/app/peak-brain-training/id806223...
I still have a few operational transconductance amplifiers lying around which I tried to use for my guitar effects projects(none of them ever reached completion of course).

Not obvious to work with, but a great solution if you want to multiply two signals.
写了个在线算法字帖，临摹学算法比较减压
Verified compilation of CakeML into WebAssembly [slides] [pdf]
A really interesting read, never new businesses still use traditional consulting when it comes to data.
Sweden to criminalise membership in “terror-designated” organisations
Four Components of Tech Talent Platform That Make You Trust Your Remote Dev Team
Lorenz Leutgeb at the JavaScript meetup in Vienna (video): https://youtube.com/watch?v=qRkxbWRJQyc
Solo Bike Expedition on World's Deadliest Roads in the Himalayas
>Munchery delivered to a large chunk of the Bay Area from one kitchen.

That's your problem right there. The Bay Area is not dense enough to make this viable.
A better example would be a Wordpress installation. Hello World means skipping much of the important stuff, like storage and persistence.

As a bonus, show how to use Gitlab for deploying and managing the app. Gitlab + Kubernetes could be the holy grail for modern, self-hosted development, however a good, complete tutorial/documentation is very hard to come by. One has to pick the pieces from a lot of different places with sometimes conflicting information.

I'd happily pay 100 Euros for such a course.
Look up the use of emu bush by the Northern Territory tribes, for example ...
The analogy I always use is of a computer program - a 700 megabyte program in a language not designed for readability would be bad enough, but there's also epigenetics to consider - every cell in a multicellular organism is essentially forming part of the compiler for the cells next to it, so the actual complexity is probably orders of magnitude larger.

And people want to give it a clean bill of health after three months of beta testing by mice? No games studio would ship something like this.
Forms are now working out of the box with v0.3.0 :-)
Both iOS and Android have timed night mode features to lower the colour temperature... or at least apps to do that if not using a recent OS.

I'm not convinced it's much of an issue these days.
I think the main thing electric cars need in order to win, is the ability to recharge anywhere. Slow is fine, but if it can charge during every lunch break and rest stop, that still adds up. I'd rather have a slow charger on every single parking space than a network of superchargers.
Silicon Valley’s Unbridled Optimism Gets Fresh Reality Check
There’s a huge misunderstanding that pops up in every discussion about “formal methods.”

These methods are not perfect silver bullets to guarantee bug-free software forever. They are supposed to be useful engineering tools that help you think and verify your thinking especially for tricky corner cases and interactions.

So then it’s a bit like “Why would I think about the code I’m going to write when I could later make a mistake in implementing what I though?” Well, even so it has advantages over not thinking.

Not to suggest that “formal methods” are the only way of thinking. They’re just not really what people imagine they are when they criticize them.
I think this activity is called “Pokémon Go”
Severe performance issues at scale, unable to recommend as a solution to most clients. As yet insufficient evidence of long term solutions. Rebuttals to this comment from bubble.is staff are welcome.
> I'm not sure why you would think that Trilium, even in Electron form, would be resource intensive.

Because NixNote 2 uses 145MBs, Zim Wiki uses 60MBs, nvPy uses 45 MBs, and Atom uses 660MBs on start.

> It's not.

Can you provide the memory consumption data?

> Upload bandwidth? For syncing data? Unless you keep full video files in it, I can't imagine how that would come into play unless you are using only cell data at below 3G speeds.

Sorry, but my home ISP is providing extremely asymmetric network speeds. I have 1Mbps upstream bandwidth for every 16Mbps downstream. This is barely keeping up if your home network is shared inside the home, consumed by 2 desktops, a laptop, three mobile phones at minimum. This network also needs to keep up with the daily usage needs. It's not realistic to peg the upload bandwidth just because I can.

> It seems as if your objections are more based on principle than actual in this case...

My principles are born out of actual cases. I'm not that conservative to try new technologies or applications, but I'm against wasting resources on my personal devices because hardware is cheap. I believe that efficient applications (in resource utilization) are always better in the long run. At least you can run more applications with the same hardware. I won't dive into details about how heavy applications like Atom or frameworks like Electron increases background CPU and power usage with interrupts, wakes, small spikes and such.
Tell us what you think of Apertio search engine for Open Data
> Which is better? A BMI of 40+ or a BMI of 25 and taking a daily stimulant?

That's a false dilemma. You would have to be certain that "A BMI of 25 without taking a daily stimulant" cannot be achieved. Otherwise, that's the third option to consider.
If you struggle, I recommend this: https://www.youtube.com/playlist?list=PLWY_DgicYlqy6g96OiRKR... - dhamma on air.
Some Danish guy who was medical doctor (used to be AI researcher ) answers around 3 questions per video. The answer from the questions are the valuable ones.
From the article it’s twice as effective as playing bingo, I take this is the FDA approved standard bingo, quite a strange comparison to make.
Facebook to create 1,000 jobs at new Dublin campus
Old hardware will eventually die and needs replacing. I run infrastructure for a CDN setup, and we actually _reeuced_ the CPU overhead with TLS 1.3 + HTTP/2.
Why does charging have to be harder than simply plugging into a power outlet? The building has power, a few extra power outlets doesn't cost much. The hardest part is linking it up to every person's own electricity meter.

That is, in my opinion, what the future should look like. As long as charging poles are expensive, they're not going to be everywhere, yet they need to be.
Maybe it does. People eat too much because they have cravings, low pleasure response to food (so they need to more to feel the same as healthy people) and maybe low dopamine levels (that's my hypothesis based on my problems and some experiments).

I think eating too much is a symptom of an underlying problem and drugs may help with it. This is also why I think regular exercise is very important for weightloss. Not because calories burnt but because neurotransmitters levels and their impact on mood and impulse control.

>>So if your friend have counted calorie counting without losing weight she didn't count correctly or truthfully.

She very likely knew she is eating too much. It's not rocket science and calorie counting won't help unless you are in very deep denial. The problem is controlling yourself and constant cravings you have to fight. It's just way more difficult for some people than others the same way some get easily addicted to drugs and some use them recreationally for years without problems or sign of addiction.
I was under the impression that heat recovery ventilators weren't worth their cost. They're a lot more expensive to buy, and a hell of a lot more expensive to install (complicated ducting etc). Has that changed in recent years?