navaati

30 ms·

271.
by navaati 9y ago
For downvoters, I guess parent is making a reference to the Evolution mail/calendar client from Gnome. Which is (was ?) indeed a memory hog.
272.
by navaati 9y ago
> The problem is there is no common desktop permissions framework on Linux. Oh yes there is, it's called polkit and it's quite nifty !
273.
by navaati 9y ago
And, all in all, which negative PR ? This is more positive in the "wicked cool" sense, isn't it ?
274.
by navaati 9y ago
Oh I see, thx !
275.
by navaati 9y ago
Well C macros work at the text-level, Rust macros run at the AST level (but not the type level, that is you cannot construct syntactically incorrect stuff but you can construct wrong-typed stuff). So I don't really know lisp macros but
276.
by navaati 9y ago
Well yes and no, traction is the act of "tirer" in French, that is the act of pulling. So a farm tractor is named as such because it pulls some (usually plowing) equipment behind it, and a tractor beam because it pulls some stuff
277.
by navaati 9y ago
Tintin !
278.
by navaati 9y ago
Sorry to be offtopic but I think the sibling comment by @moring should be unflagged, don't know why it is…
279.
by navaati 9y ago
Buy a computer screen. For example Dell P4317Q, it's a 43" 4K screen, about 1000€ (a bit less), gorgeous. It's the closest you can get.
280.
by navaati 9y ago
Rust is pretty much based around linear types (well I think technically it's a variant of that, I have heard about "affine types", don't know the difference), more precisely the move semantics. EDIT: Oh, the expert has s
281.
by navaati 9y ago
Oh the log is cool but I was more specifically referring to the order book with the spread, and the "green on the left, red on the right" view in the middle that shows the market. I would like to see such a view for regular stock
282.
by navaati 9y ago
Wow, this interface is very cool, very useful to explain how markets/pricing work ! Maybe (probably) it's some pretty standard way of displaying things but I had never seen one like this.
283.
by navaati 9y ago
I thiiiink the people denying the climate crisis and the people behind this meat tax idea are not the same people…
284.
by navaati 9y ago
Seasons: Parse error: syntax error, unexpected 'new' (T_NEW) in /homepages/14/d154513924/htdocs/seasonsapp.com/wp-settings.php on line 204 Uh oh…
285.
by navaati 9y ago
Well they are called the Renault-Nissan Group nowadays aren't they ?
286.
CRI-O 1.0 is here(medium.com)
2 points by navaati 9y ago|0 comments
287.
by navaati 9y ago
Wow, thanks a lot for this !
288.
by navaati 9y ago
For those like me that want to hear it on a modern distribution: instead of redirecting to >/dev/dsp, pipe into |pacat. Works like a charm.
289.
by navaati 9y ago
EDIT: see paavohtl's comment: I hadn't payed attention to the types, dumb me. You're right, because for a pair of functions f and g, you have an isomorphism if: f(g(x)) == x g(f(x)) == x for every x. However, here o
290.
by navaati 9y ago
From what I can tell, this is all opensource using their publicly documented API. That is, you could implement the same support for GCP in your own auth backend product, and you could implement the same support for your own cloud platform i
291.
by navaati 9y ago
I guess it's rather due to the thing not having an MMU
292.
by navaati 10y ago
Not only parse but do all the type-checking I guess (which is where Haskell is moving the most)
293.
by navaati 10y ago
Well, it's already done in a CoreOS image, why ?
294.
by navaati 10y ago
Oh, it's called Emacs (being half-serious here)
295.
by navaati 10y ago
> "sudo foo" could be implemented by asking a privileged daemon to run foo and handing off access to the console to the daemon. FYI that exists, it's called pkexec (yes, from polkit) :)
296.
My adventures in rust webdev(medium.com)
2 points by navaati 10y ago|0 comments
297.
by navaati 10y ago
Shouldn't the type of the monadic serverStep be "Message -> m ()" to match the type of the explicit "serverStep :: Config -> State -> Message -> (State, [Message])" ? Aka, serverStep isn't a monadic
298.
by navaati 11y ago
In France you have convenience store (referred to as "Chez l'arabe" as their owners are immigrants most of the time) open until very late at nigth. They sell all sort of non-perishable food and, well, convenience stuff, but m
299.
by navaati 11y ago
This, on top of all the other mosquito-born diseases, may finally convince the authorities/ethical commitees/whoever has the decision power to use this CRISPR specie-killing scheme talked about some time ago. It's scary, but
300.
by navaati 11y ago
Is the precision in the current techno good enough to replace the mouse for non-gaming activities, like web browsing or using a classical GUI with buttons and text fields and stuff ? I'd love being able to never ever get my hands off m

More ›