CHY872

20 ms·

151.
by CHY872 11y ago
I think you would have a much harder job promoting your product in the UK. Tea in my experience is something you might have instead of a glass of water - always produced with a teabag, which is very cheap, and with consistent taste (it&#x27
152.
by CHY872 11y ago
Just to nitpick, backwards compatibility isn't really a huge issue for Intel. Most of the really old stuff that's a pain to maintain can be shoved in microcode; compilers won't emit those instructions. There are obvious downs
153.
by CHY872 11y ago
I don't know about you, the last offer letter I got had on page 1 the specific details (salary, options, whatnot) and on page 2 the perks (which included meals). It's implicit. When you weigh up job offers, you look at what the jo
154.
by CHY872 11y ago
Sounds great, but doesn't really work with open source software (unless I have some wires crossed). Who is supposed to pay for an exploit in (say) MariaDb? The value to a sufficiently motivated black-hat organisation is surely far high
155.
by CHY872 11y ago
Although I take your point of principle, I'm not really sure I see any incentive to not share vulns. From what I can think, the options are: 1) Actively exploit - I think we can agree that providing it to someone who will actively expl
156.
by CHY872 11y ago
I don't think that's fair. Free lunch isn't 'free', it's just part of your compensation package. At least some SV companies don't have it - I'm pretty sure Apple doesn't. If someone asked you if
157.
by CHY872 11y ago
Moore's law isn't about performance, it's the number of transistors on a single IC. Perf is related but irrelevant to the discussion.
158.
by CHY872 11y ago
This already exists for desktops (frequently a jumper to enable/disable BIOS flashing). For laptops this is bad by nature of their portability; they're too easy to tamper with.
159.
by CHY872 11y ago
No. The browser should send with its HTTP request: Accept: text/html, application/json;q=0.8 and then if the server supports returning HTML, it should return it ahead of any json. For example, Firefox sends: Accept:
160.
by CHY872 11y ago
On the other hand, I had to write for some software that supported both Oracle and Postgres (many deployments, new using Postgres and old migrating over time to Postgres) and it was a chore . All tests had to be run in both, SQL was '
161.
by CHY872 11y ago
As simple as sqlite with a decent ORM? Just curious here, I've never tried Mongo.
162.
by CHY872 11y ago
Whoa, this is a worrisome attitude. 1. The bugs that MongoDB historically suffers from are those that are unlikely to occur for most people, but when they do cause the most suffering. This is a combination of them being incredibly hard to r
163.
by CHY872 11y ago
Remember that free food is not seen as a fringe benefit, so it can increase compensation by a fair amount due to the reduced tax burden. That's one of the reasons why it's so offered - it's a very cost effective way to increa
164.
by CHY872 11y ago
I think the point was more that Erlang was produced at considerable expense, so the cost of recreating Erlang for your own project is probably less than the cost of simply producing your project in Erlang.
165.
by CHY872 11y ago
Yes, of course, but this seems to be a problem where the solution is easily costed, is commercially available etc, whereas I'd imagine that the rest of the project is filled with a whole load of world-firsts.
166.
by CHY872 11y ago
Well, that's as much because CERN doesn't need additional throughput than anything else; technically it's a solved problem, which makes it one of the easier ones to do something about :) We can quite easily send 40Gb/s o
167.
by CHY872 11y ago
Yep, that's fair. I took another look, Lombok is only unsupported because it inserts methods into pre-existing classes; I misremembered the limitation on the pluggable annotations. My bad!
168.
by CHY872 11y ago
This kind of thing has worried me a little in the past (Lombok is a similar, but less focused project). My main concern is that this is not part of the pluggable annotations standard; it's an undocumented API provided by Sun javac. Thi
169.
by CHY872 11y ago
I could swear that I've read this exact article before...
170.
by CHY872 11y ago
I'd be interested in finding out how this affects the rate at which the plane can be emptied, and thus whether it would pass the safety tests.
171.
by CHY872 11y ago
The proof is written in the HOL4 proof assistant. The idea here is the same as any LCF derivative- there is a type, thm, and the constructors of that type are constructed such that only valid theorems can be created. So, by creating a value
172.
L1c: A conceptually simple formally verified compiler(github.com)
33 points by CHY872 11y ago|3 comments
173.
by CHY872 11y ago
Bluetooth beacons work by advertising only. The BLE advertising bands are at the start of the WiFi band, after the end, and in the middle (between two common WiFi channels). This minimises the likelihood of interference. They can interfere,
174.
by CHY872 11y ago
Switzerland is ten times smaller than France, and in general the people who live there are far better off (GDP per capita is doubled between France and Switzerland ($90,000 vs $45,000)). It's much easier to form a consensus when your c
175.
by CHY872 11y ago
They don't. Standard ML has the `fun` keyword which does what you want. OCaml has it, but it could easily be for legacy reasons - it's hardly a sticking point!
176.
by CHY872 11y ago
Possibly, but unlikely (most csv libraries will be based around iterators). In any case, the problem is stupidly underspecified. For example, what if the 100GB CSV is 100 1GB rows? What if the input is UTF16, UTF32? How do you deal with the
177.
by CHY872 11y ago
Meanwhile, my actual Google interviewer asked me how I might do it. He then explained why my Gödel numbering scheme was bad, showed me how Java does it, was seemingly satisfied enough and offered me a job on his team. Google has a bad rep,
178.
by CHY872 11y ago
The trivial Java solution BufferedReader r = new BufferedReader(new File(filename)) String line = r.readLine(); if (line != null) { String first = line.split(",")[0]; while ((line = r.readLine()) != n
179.
by CHY872 11y ago
Yes, of course - and there are some really cool proofs (easy to understand also). A personal favourite is the Run of Christofides. BUT that's not relevant here.
180.
by CHY872 11y ago
No - there are many fruitful formalisations of parallel programming (the CLRS chapter is pretty good) and indeed, of non-von Neumann architectures (check out balancing, comparison networks etc etc). This sort of work is not reliant on von-N

More ›