birktj

11 ms·

61.
by birktj 6y ago
I don't think this is entirely true. A lot of the modern "green industry" stuff in Norway is funded by the oil industry. However, the hydropower industry in Norway is way older than the oil industry and is quite economical on
62.
by birktj 6y ago
Sounds like a suitable task for formal verification languages like Coq and Isabelle.
63.
by birktj 6y ago
I really like how this has zero dependencies [0] [0] https://github.com/vrtbl/passerine/blob/master/Cargo.toml
64.
by birktj 6y ago
Are you sure this is the case? From the Norwegian news it seems very much like the epidemiologists that are advising the government in many cases are advising lesser restrictions than what is actually implemented.
65.
by birktj 6y ago
I think it makes sense. If you are already owing money the creditor is expecting the payment and has no reason to believe it is a mistake. If you then afterwards come and say "hey I was not supposed to pay the money i owe you, please p
66.
by birktj 6y ago
Could you in theory buy your own debt?
67.
by birktj 6y ago
Do people here feel the same way? That is, do you feel that it is uncomfortable to not do anything? I, like most people I guess, am easily distracted with various things like reading HN or fiddling with whatever is on the table. When given
68.
by birktj 6y ago
I was part of a student drone group last year. Previously they have been using various embedded systems like intel nuc's and nvidia tx2's. However this year they decided that it would be much better to just strap on a good old i9
69.
by birktj 6y ago
The HashClash tool [1] was written back in 2006 and can construct chosen-prefix md5 collisions. Don't know if it has anything to do with Dan Kaminsky though. [1]: https://www.win.tue.nl/hashclash/
70.
by birktj 6y ago
Metalhead https://en.wikipedia.org/wiki/Metalhead_(Black_Mirror)
71.
by birktj 6y ago
I don't know if this is what you are thinking of, but there is this concept in embedded systems sometimes refereed to as library operating systems [1]. My understanding is that in this model the operating system is implemented as a lib
72.
Minimal Raspberry Pi CM 4 Carrier(hackaday.io)
2 points by birktj 6y ago|0 comments
73.
by birktj 6y ago
I do agree that segmenting IoT devices is definitely a good idea. However if your door access control cannot handle a busy network I really don't think it should be used as such.
74.
by birktj 6y ago
Does there exist soc any that would be suitable for a powerful arm laptop that can run Linux? How does for example the nvidia xavier soc stack up against the apple m1?
75.
by birktj 6y ago
I believe it is the court case with ID TOSLO-2015-67093 [1]. Trough my old university account I still have access to lovdata pro so I was able to search for it and view it. I am to lazy to reupload it tonight, but if you are interested I co
76.
by birktj 6y ago
This is pretty bad. As have been pointed out by multiple commenters in this thread a lot of the examples in this article and the underlying paper are simply incorrect. I'm Norwegian and I can say with extremely high confidence that thr
77.
by birktj 6y ago
It does, they even have a selection that is translated to english [1]. However I don't know what kind of terms I would search for. I tried "DNS", but it didn't give me anything. I also tried "internet blocking"
78.
by birktj 6y ago
I have looked a little bit at Pure before, it seems pretty neat. Do you know if there is anything interesting written about it?
79.
by birktj 6y ago
That is a good point and there even is a sort of open source implementation of the Wolfram language, Mathics [1]. Although I would assume its value is kind of limited without the standard library included with Mathematica. [1]: https:&#x2F
80.
by birktj 6y ago
I have always found term rewriting a fascinating idea as a programing paradigm and the Wolfram language seems very cool. It is a shame that it is a proprietary language. An even more insane language based on term rewriting is the Egison pro
81.
by birktj 6y ago
> Enable law enforcement access to content in a readable and usable format where an authorisation is lawfully issued Does not sound much like end-to-end encryption at all.
82.
Token Ring(tokenring.com)
2 points by birktj 6y ago|1 comments
83.
by birktj 6y ago
I don't think this is true. From Wikipedia [1]: > The heuristic function is problem-specific. If the heuristic function is admissible, meaning that it never overestimates the actual cost to get to the goal, A* is guaranteed to retur
84.
by birktj 6y ago
Even though it is getting better, I would argue Norway still has a pretty bad open data culture. As far as I know Kartverket has only released the N50 with the more detailed N5 data still not being available to the public. The biggest pain
85.
by birktj 6y ago
Ruffle is great! I just used it the other day to convert a flash website with a service manual for my outboard engine into a nice pdf. Each page was a swf file, so I only had to wget them all, convert them with ruffle, and at last convert t
86.
by birktj 6y ago
Recently (I believe around a year ago or so) my university lost access to many publisher services because of some negotiations. The negotiations were about a new Norwegian law requiring all publicly funded research to be publicly available.
87.
by birktj 6y ago
Isn't this exactly what animated WebP [1] is supposed to address? [1]: https://en.wikipedia.org/wiki/WebP#Animation
88.
by birktj 6y ago
I believe the reason Rust dropped green threads was to get rid of the runtime system and become a more systems language. Modern fast network code in Rust is based on async/cooperative multitasking distributed over num cpu worker thread
89.
by birktj 6y ago
I like the original paper by Shannon "A Mathematical Theory of Communication" ( http://people.math.harvard.edu/~ctm/home/text/others/shannon... ) a lot. It is quite readable and also probably the
90.
by birktj 6y ago
What's very neat is that the algebraic argument also works for other sequences like 0.888... x = 0.8... 10x = 8.8... = 8 + x 9x = 8 8/9 = 0.8...

More ›