skysight-inc/HackerNews huggingface dataset:
I prefer thinking about group theory as the study of the symmetric group of order n. Then to make sense of the case of n = infinity, you introduce the group axioms.

Eventually, you can justify the study of permutations using the fact that if you take any algebraic structure and consider the group of automorphisms, you get a group.
In College, I bought the Indian versions of my Econ/Finance textbooks on Ebay. Exact same content down the sentence, just in a plain cover and probably 25% of the college bookstore/Amazon price.
> Yes there is a significant advantage in bowel movement if you use squatty potty.

[citation needed] (and squatty potty marketing material doesn't count)
I've never seen the perspective where you don't think European Sovereign debt yields are just too low because of European Central Bank debt purchases.

The ECB has been massively inflating the Euro by buying sovereign debt, with the express policy of pushing yields into negative territory so that people invest in riskier assets. OF COURSE that drops the yields of Italian government debt far below what the actual risk is.

This isn't an expression from the collective conscious about the US' finances. wow. or at least it HADN'T been, until now. How long have you been following the debt markets? Your perspective lacks history of anything beyond 3 years...
Firefox add-ons pass full source code review before the submission after the Stylish incident. Safari extensions also pass manual review, Apple asks developer to send an ID card photo. Not sure about Chrome, you have to simply trust me, the code is not obfuscated and you can always locate the files and see what the extension does in your browser. Google recently announced some security changes https://blog.chromium.org/2018/10/trustworthy-chrome-extensi...
Reddit was never super easy. You had to create an account and click 2 checkboxes on the web-only version in your account settings. Even so searches were still filtered on the official mobile app IIRC.
I really wish I could use SmartOS, but I couldn't even install some common Python packages without getting a compilation error. Looking such problems up on issue trackers revealed old requests for compatibility with SmartOS, and no follow-up from the developers.

I'm not sure what the recourse is, I just don't know enough about C to fix this myself. I assumed this would be a common enough problem that the solution would be well documented somewhere but there seems to be nothing out there even mentioning the issue.

I'm happy to do all my work in LX-branded zones, and that's certainly better than the alternatives (for my purposes), but having two operating systems still kinda irks me.
I'm told that regular bras (from a dept store, decent brand) run $100 or so as it is.
Yeah, I understand this is a lot to ask, unfortunately the way Google auth scopes work this is the minimum we can ask for.

Ripley helps manage permissions on your docs so G Drive edit is needed.

Ripley suggestions contacts you may want to add to your boards so contacts is needed.

Ripley posts events to your calendar for tasks in Ripley so calendar edits is needed.

I wish we had more granular ways to request only the exact permissions we needed.
Yeah, if you're not living next to a PATH train stop or the Secaucus train station, I would assume +30min of travel time to any day's commute. That kind of variance basically means your weekdays are spent going to work, coming home, eating, and going to sleep. Terrible. And you get to pay ever increasing NJ Transit fares and property taxes for it.
love? in a royal family?
OK, my mistake. To me, a tape measure is a steel thing that coils itself up. Let's try and find some numbers for cloth and plastic:

https://www.engineeringtoolbox.com/linear-expansion-coeffici...

ABS heats up by a factor of 100e-6 per degree C. The largest number I spotted was paraffin with 106e-6 to 480e-6 per degree C.

If the tape measure is made of the most-expanding type of paraffin, which is itself the most-expanding material listed, then the 100mm measurement becomes 100.05mm when heated by 100 degrees C. I really don't think a difference of 50 micrometres matters, or is even achievable, in the manufacture of a bra.

EDIT: (But I see the other points now - it's not the thermal expansion of the tape, but the body's reaction to the temperature).
https://en.wikipedia.org/wiki/Fritzl_case

Not everyone is good.
Intel 10nm Cannon Lake NUC Hits US Retailers
I wasn't putting through arguments for direct democracy. Just that the current system is badly failing the people and it needs to change. Point number 1 & 2 would actually move us more to a direct democracy than you think. But direct democracy isn't the answer. We need to re-establish the fairness, and by extension, faith in the federal government. Look, this sentiment has been echoed in polls for years. The congress has a historically bad approval rating. The presidency, not so much. Because people lean to a strong man in times of feeling under represented. This is how dictatorships are born.

The US needs to change[1]

[1]https://www.theatlantic.com/ideas/archive/2018/12/john-dinge...
> ...which immediately tells you to go fix the code.

But which code? The point where you observe the error could be many compilation units away from the code that's broken; it might be in a separate project, or even 3rd-party code.

> ...because it indicates the absence of a value, which is a special case.

Why does it need to be a special case? Is your language incapable of modelling something as simple as "maybe the presence of this kind of value, or maybe absence" with plain old ordinary, userspace values?

> Seriously? A "nullpo crash" is one of the more trivial things to debug, because it's very distinctive and makes it easy to trace the value back (0 stands out; other addresses, not so much.) What's actually hard to debug?

"Tracing the value back" is decidedly nontrivial. And totally unnecessary if you just don't allow yourself to create that kind of value in the first place.

> if you reserve the special null value to indicate absence then you can make do with just one value instead of a pair, of which half the time half of the value is completely useless.

What do you mean? If you're talking semantically, you want absence to be a different kind of thing from a value: it should be treated differently. If you're talking about runtime representation, you can pack an Option into the same space as a known-nonzero type if you want to (Rust does this), but that's an implementation detail.

(Confusing sum types with some kind of pair seems to be a common problem for programmers who haven't used anything but C; sum types are a different kind of thing and it's well worth understanding them in their own right).

> If you can check for absence/null, you will have no problems using Maybe/Optional. If you can't, Maybe/Optional won't help you anyway --- because it's ultimately the same thing, using a value without checking for its absence.

Nonsense on multiple levels. Maybes deliberately don't provide an (idiomatic) way to use them without checking. By having a Maybe type for values that can legitimately be absent, you don't have to permit values that can't be absent to be absent, and therefore you don't have to check most values - rather you handle absence of values that can be absent (the very notion of "checking" comes from a C-oriented way of thinking and isn't the idiomatic way to use maybes/options) and don't need to consider absence for things that can't be absent.
Effect on nipples?
Junk Science Has Become a Profitable Industry. Who Will Stop It?
I understand every single word you said and fully agree with you. Good point!
The point of the article was that they were doing engineering for and about people. How the body responds to a cold tape undoubtedly causes much larger distortions than the thermal expansion of the tape itself.
France suspends environmental fuel taxes in face of protests
Its a good article with stimulating ideas I should take the time to read properly, but it seems to omit this feature of the arrow of time which I have noticed: In a basic gravitational simulation time would be completely reversible except that quantised integration is lossy.

If data could be recorded to infinite precision it would be possible to integrate the simulation back and forth between any two points in time and thus re-calculate separate states precisely and repeatedly, there would be no irreversible arrow. The only reason I see that for example, a simulated glass will not perfectly reassemble itself after being virtually smashed is that quantization noise accumulates on every iteration, and in accordance with the 'butterfly effect' the noise which enters at the units of least precision, also trickles upward in significance on every iteration. But if a simulation was run using enormous word lengths for all its data then the noise would have longer to travel (up the word-lengths) until it made a significant difference to the virtual model. The model data might also be clipped at intervals in an attempt to remove this 'direction dependent noise'.

Theoretical ideas about time which consider analog system real numbers or values of matter might not notice this effect, that the state of things becoming more intertwinned with each other through time, which ever direction viewed from, requires more and more precision to represent. It would not be a problem with infinite precision math.

I dont know about the precision scheme of the physical universe, it sounds like quantum physics does find limits.
Data De-Identification and Anonymization: Why and How It's Done
Seconding this, a very good suggestion to simplify the API.
Trilobites: Devoted Dads of the Amphibian World
Ask HN: How can you explain Lisp-style macros to non-Lispers
When I tell people that my favorite language is Clojure (pick your favorite LISP dialect), I inevitably have to explain what makes it so great. That brings me to macros, yet I struggle to explain what a macro is and what it can do succinctly. Any ideas on how to explain this to people from a mostly C/C++ background?
You can make a ton of money by sitting in a bar and listening to a group of women express their grievances to each other, and the extents they would be willing to go to remedy said grievances and then solving that problem -- uncomfortable bras are one of those frequent topics. Personally for my working wife and her group of nursing mother friends, they would pay almost anything for a convenient breast pump without all the hoses and tubes (just in case anyone is listening out there ;) )
Some things never change. The absolute amount would be different but otherwise you could cut and paste the exact same comment to Usenet in the mid 1980s and it wouldn't look at all out of place.
For a focused project, electronic is almost certainly better (and if you initially write on paper, it's worth transcribing). But for my purposes, I'm mostly journaling my day-to-day activities. I don't think I'll ever want to search for that time I needed to get caffeine free Diet Coke and had to push it forward for three straight days (that would be today...)

A really nice thing about bullet journaling, relative to other forms, is the index. I can keep my old journals (labeled by date range) and look up stuff that might actually be interesting in the future, like "Jim Campignolo workshop notes".
I know I'll stay in Tumblr for sure. I was never there for the good erotic / pornographic content anyway, I just found it a good bonus. I found a number of very good creators of pixel art which is a personal favourite, and a ton of good home design blogs. I love all these and I'll keep following them in Tumblr.

However, now it's very likely that I'll find a mediating app -- or I'll be scraping my own feed -- to avoid the inevitable increased influx of advertisements so Verizon will still lose that possible income from me. I suspect many others will take similar measures (less known apps like Tyblr in iOS for example rid you of ads and make your feed sorted by timestamp and not by an "algorithm").
Can you elaborate on why this indicates gender imbalance in VC funding?

I'm a bit skeptical of your assertion that anyone regardless of income would see this as a rational price point, when economic theories seem to indicate that our restrictions determine our preferences.
Yes, it is. You will benefit greatly from the tight integration between shells, remote file editing, database support (albeit fairly simple, compared to dedicated tools) and obviously an excellent editing environment in general.
Full path coverage is much more difficult than 100% branch coverage. It's next to impossible in any non trivial codebase that wasn't designed specifically for formal verification.
Declare the Strand Bookstore a City Landmark? No Thanks, the Strand Says
Unless I'm misreading OPs statement, it can't be done by defining a new type since C (unlike, say, Ada) doesn't support subrange types.
Aha! Thanks. That makes much more sense :)
Phiar Raises $3M led by Norwest Venture Partners and the Venture Reality Fund
I run an engineering team in Amsterdam and we mostly hire foreigners. The reason is simple, there are way more jobs than qualified people here.
> I suspect pretty much any woman in North America, regardless of ability to afford it, would see that as a totally rational price point.

That rationale seems a bit simplistic to me. I suspect that for many women in North America, the choice of spending $350 on a bra, or $100 on a bra + paying some bill on time, is a no-brainer.
All of those different nulls can be solved by not having null as a special case of your database specification, but as a first class type construct.

data MightBeData a = Yes a | Unavailable | NotApplicable | NeverApplicable
I get the congrats Android user redirect ads on mobile. So, it seems fairly over the top
> I have read comments in this thread suggesting that FF's performance is not that snappy but I cannot seem to notice any difference.

I use Firefox (Nightly) on a 2015 MBP and I do think it feels less snappy than Chrome.

If it didn't have Container tabs, I might switch back to Chrome, despite very much wanting Firefox to succeed. Performance is key.
I am not convinced by this narrative. I would rather assume that like any ordinary project, Quora also was developed with zero security in mind. I would bet in a huge amount that noone has ever said during any project meeting that `BTW. I think we should spend 2 more months implementing every detail securely`. Probably security was an afterthought.
Hot and humid, mosquitoes, flat land, prone to hurricanes, not near an international airport. I presume most people working in tech would consider these a negative.
When things are sane, I'll generally add a few hours to a day or so to each ticket to spend on improving process, refactoring, or just deep thinking about the domain and the stack. Nobody notices and the effort improves everything I do in the future.
I got a squatty potty in a white elephant gift exchange at work. I liked it. I wouldn't say it was life changing, but it made going to the bathroom easier enough that it felt worth it.

Sure, it's not as good as a full squat in the woods, but it's more than a gimmick.
Show HN: Simple REST API for Paper Trading with Free Real-Time Market Data
You could check every value for null, sure. But a) why would you want to? (and wouldn't it be bad for performance) and b) how would you handle it? Knowing that a value somewhere in your program was null doesn't really help you any.
> but are you saying that throwing a segfault can be a good thing?

Sure, what's bad about it? A logic bug was detected, so the program should be terminated. Or how do you intend to continue?

Segfault is not so different from what happens if you do "fromJust Nothing" in Haskell or get a NullPointerException in Java. You can even write a handler for the segfault, but I guess that's rarely a good idea.
My point is that her parentage shouldn't matter. No one should be wholly beholden to someone else's will.
Been using Fastmail for ages... great provider.
China at least has a ruling class, power isn’t completely concentrated in one person (Xi still has to negotiate between the few ruling red families and factions). I guess from that perspective, one could say there are no true dictatorships, only countries that register less or more in the dictatorship scale.
The 100 greatest innovations of 2018
If you prefer dark text on dimmed background try Dark Reader's light (dimmed) mode https://i.imgur.com/H38tpIS.png
GSK - Senior DevOps Engineer (ONSITE, London, UK) & Senior Security Engineer (REMOTE/ONSITE, Europe Only)

www.gsk.com - Pharma Tech - London, United Kingdom

Our group is a new and growing team of passionate thinkers and makers, a independent group set within one of the largest pharmaceuticals in the world. We're exploring new ways of using our technology to provide life-saving medicines to the people who really need them, using open and transparent methods, with passionate people with low ego who are eager to learn.

For both roles (DevOps and Security) the focus is on Kubernetes and cloud-native services across Azure and GCP.

I lead the Systems Engineering team, reach out to me directly if you're interested, contact details in my profile.
I find it slowing my Chrome too. Is there an app that we let me benchmark my browser performance with Dark reader app and without dark reader app?
There are Firefox extensions to integrate Google Translate for right click on text or web page:

https://addons.mozilla.org/en-US/firefox/search/?q=Google%20...
Been using using it for a couple month (on chrome), very happy with it. The only thing I wish would be for the the "theme preference" (sepia, contrast etc.) to be on a website per website basis. I don't have the same needs on say HackerNews and Google Maps
I rather like this feature from CitiBank. I hate the interface, but the feature is great. I can use it to sign up for monthly services that I'm unsure about. If I don't want to go through the hassle of canceling the service, I just don't renew the cards.

I also use it with sites I don't necessarily trust, like a random auto parts store. If it were a tad easier to use, I'd use it for nearly everything.
I really liked living in Austin, but I'm thinking smaller. Terre Haute, Urbana-Champaign, Kalamazoo, State College, Denton, Madison, Manhattan (Kansas), Binghamton, and many others, depending on your taste in climate, topography, and politics. Maybe Burlington, but the cost of living in Vermont is surprisingly high considering how sparsely populated it is.
Surface 'Centaurus' Is Another Dual-Screen Microsoft PC with Windows Core OS
I've made a simple PCB layout before, and worked with FPGA's before (generated some simple HDMI output, and communicated via SPI). Is a similar project feasible for me, or likely to be a step too far?
Can we also choose which web pages not to add dark theme?
Amazon’s Empire
Project Lombok: Reducing Java Boilerplate Code
All this is true. I immediately took it to mean the Tony Hoare invention of Null. That of the zero memory pointer. Other types of null usually have other names with the notable exception being databases. Also Go uses nil for its null which puzzled me for a while then realized its behaviour is different, you can work with them to a point, e.g. len() or append().
in C NULL is just 0. a nullptr in c++ is just a pointer which points to 0. so it's not an undefined value... it's set to 0 on purpose so you can check it.

consider this:
char ptr;
ptr = (char )0xb8000;

before assigning ptr, ptr can be ANY value from 'random memory'. (compiler trickery aside.. because it might initialise it to 0 anyway...)

so you want to have:
char ptr = NULL;
ptr = (char )0xb8000;

So you can then do IF(ptr != NULL) { do_stuff(); }
you could not check for validity of the ptr value or it being present otherwise. an if(ptr) or if(!ptr) would only work if it's initialised and reset to NULL each time before assignment, so you can validate the assignment.

This is not mistake but a tool.

for a hardcoded offset like this it might be fair to say you could do if(ptr == 0xb8000) {do_stuff()} but what if it was a ptr returned by a new allocation or so? Or by taking the address of another variable or object? In that case setting things to null and checking them is absolutely essential to assuring your code works like you intended it to.

this whole article seems just a bunch of nonsense. for some languages it might hold true, but i can't beleive it would do for any. perhaps this original algol null... who knows.
You don't understand the appeal of trucks or you don't understand the appeal of Ford branded trucks?

I got tired of renting a uhaul and 'trip vans' to haul home wood and simple project stuff.
I hope it uses Benford's law as a signal.
https://www.edx.org/masters

I count eight Master’s degrees. I’m sure you’ll agree Georgia Tech is an excellent university.

https://www.coursera.org/degrees

Ten Master’s degrees including Computer Science from UIUC and a Bachelor’s.

As far as accreditation or doing something better than a traditional university look to lambdaschool.com Zero to employment ready software engineer in eight months, not ready to be an intern, not well, we’re desperate we can train you, but solidly capable of most front end jobs, decent coverage of algorithms, data structures and basic computer science. They’re not MOOC as they’re neither massive nor open but they may be transformative.
Agreed, $12 books would be a godsend.

Currently buy mine used on AZ most of the time, always pay around $30.
>This is not the source of the vast majority of pointer errors.
>Checking for (and trapping) NULL pointer dereferences is trivial, what is more difficult is the rest of the pointer range that doesn't get checked but is equally invalid, i.e. the other 4-billion (32-bit) possibilities.

I think we write vastly different types of software. I can assure that that null-related errors are extremely common in situations besides resource issues. If it were just a resource-related problem, garbage-collected languages would almost never have issues, yet Java is infamous for NPEs. In Scala, where Options are ubiquitous, I've literally never had a single NPE.

It is very common for libraries to return null just to represent the absense of a result (ex: a row returned from a SQL query has no value for a column). That sort of thing means you have NPEs wholly unrelated to malloc or anything similar. These nulls are expected under normal program operation. They aren't errors. So, it's crazy to not to let the type system assist you in checking for nulls, so you don't forget and wind up with a NPE.
The whole point of using type systems is to prevent human errors; a "poka-yoke" for programming.

The great advantage of Maybe/Optional systems is that only some of your references have to use them. You can draw a clear boundary between the parts of the code that have to check everything, and those that can prove it's already been checked.

In assembler we have no real type annotations, but for a long time I've considered trying to design a type-checking structure-orientated assembler.
350 dollars for a bra? I think the bubble is truly upon us. I am sure it will sell well too. And I see people on this thread trying to justify the price.
Show HN: StrictYAML 1.0 released: parse and validate YAML sanely in python
Does IntelliJ support the Jai language?

In any case, "M-x helm-projectile-find-file" is the Emacs equivalent of IntelliJ's shift-shift. It's nicely bound to "SPC p f" if you use Spacemacs. You can also search tags (variables, symbols, classes, etc) with "SPC p g". Plus, going for a 3rd party search tool is personal preference, Emacs can also do that.

I'm a heavy user of both Spacemacs and IntelliJ, and while the quick search interface of IntelliJ is awesome, Emacs also has this functionality. I assume Jonathan's problem in that video is due to poor language tooling, plus his personal workflow preferences.