Could you elaborate on the “tricks” you refer to? I feel it’ll be very useful.
n-gate.com is a nice change from hn.
That's true, pretty easy to do once you look in the "net" or "inet" or "netinet" folders and then look for ipv4.
Thanks. Not really, I just look at the IPv4 implementation, it's easily to search for csum or chksum or checksum in codebases.
Why not use the routines from the Linux kernel, which are battle tested? https://elixir.bootlin.com/linux/latest/source/arch/x86/incl... Or even NetBSD: http://ftp.netbsd.org/pub/NetBSD/NetBSD-current/src/sys/net/...…
Not to mention standing in long queues OUTSIDE the consulate, sometimes for several hours. https://www.thehindu.com/news/national/tamil-nadu/new-queue-...
Agreed. Those topics are very specific instances of general principles that are usually taught in a security course. What did OP mean by "secure client/server architecture" though? What are the basic/fundamental…
welcome to hacker news!
>> there are plenty of countries in the world citation please? Do they take it down because you don't have a license to transmit in that spectrum band?
By this logic, all stock traders should be considered employees of the stock exchange they use. Uber is just like a stock exchange - a match making service. * Traders/riders on a transaction/ride pay the exchange/Uber…
Security Engineering is free on the author's website :) http://www.cl.cam.ac.uk/~rja14/book.html
What's the guarantee that someone else didn't send the texts from her phone?
BGP is a policy-based routing protocol, whereas OSPF/RIP are performance based. BGP is not "the" routing protocol, just that it's widely used because of its simplicity. You should consider reading Kurose/Ross:…
This article is missing quite a few things that's of interest to programmers: 1. IPv4 fragmentation & reassembly 2. Centralized (Dijkstra/OSPF) vs. Distributed routing (distance vector/RIP) - stuff you see in Algorithms…
Related :) - http://colinm.org/language_checklist.html
That "facility" is the Curry-Howard correspondence!
I did not mention compilers in my comment. Do you mean that if I use LLVM compile a C program then I get the same assurances as when I compile a Rust program?
Let's say you are using LLVM to compile a Rust program, and an "equivalent" C program. You can compile both of them down to IR, and then enforce type safety at the IR level. Doesn't that ensure that you can prove…
You could use LLVM to compile any language to LLVM IR, and then to machine code using a backend. Does that mean every language has the same properties as Rust? If Node/Java/Go use GC (or VMs), then aren't they more safe…
So why does C, for example, lack Rust's memory safety semantics? Is it something to do with the design of the language itself? Can Rust predict user input, whereas C cannot?
So isn't the memory model more to do with the compiler or operating system rather than the programming language? Do think it's possible to write a C compiler that checks for use after free, double free, buffer…
Could you please explain why and how the Rust compiler is better than compilers for other languages? After all, every language compiles down to machine code/assembly. So, the reason that one language is "better" than…
Is there a reason why all the above software cannot perform as "fast" or "safe" as Rust when written in other programming languages? After all, every program compiles down to machine code/assembly.
What do TCP/IP headers (SEQ/ACK/RecvWindow/src port/dst port/packet length/checksum/morefrags flag etc.) have to do with HTTP headers??????
fuck 2016.
Could you elaborate on the “tricks” you refer to? I feel it’ll be very useful.
n-gate.com is a nice change from hn.
That's true, pretty easy to do once you look in the "net" or "inet" or "netinet" folders and then look for ipv4.
Thanks. Not really, I just look at the IPv4 implementation, it's easily to search for csum or chksum or checksum in codebases.
Why not use the routines from the Linux kernel, which are battle tested? https://elixir.bootlin.com/linux/latest/source/arch/x86/incl... Or even NetBSD: http://ftp.netbsd.org/pub/NetBSD/NetBSD-current/src/sys/net/...…
Not to mention standing in long queues OUTSIDE the consulate, sometimes for several hours. https://www.thehindu.com/news/national/tamil-nadu/new-queue-...
Agreed. Those topics are very specific instances of general principles that are usually taught in a security course. What did OP mean by "secure client/server architecture" though? What are the basic/fundamental…
welcome to hacker news!
>> there are plenty of countries in the world citation please? Do they take it down because you don't have a license to transmit in that spectrum band?
By this logic, all stock traders should be considered employees of the stock exchange they use. Uber is just like a stock exchange - a match making service. * Traders/riders on a transaction/ride pay the exchange/Uber…
Security Engineering is free on the author's website :) http://www.cl.cam.ac.uk/~rja14/book.html
What's the guarantee that someone else didn't send the texts from her phone?
BGP is a policy-based routing protocol, whereas OSPF/RIP are performance based. BGP is not "the" routing protocol, just that it's widely used because of its simplicity. You should consider reading Kurose/Ross:…
This article is missing quite a few things that's of interest to programmers: 1. IPv4 fragmentation & reassembly 2. Centralized (Dijkstra/OSPF) vs. Distributed routing (distance vector/RIP) - stuff you see in Algorithms…
Related :) - http://colinm.org/language_checklist.html
That "facility" is the Curry-Howard correspondence!
I did not mention compilers in my comment. Do you mean that if I use LLVM compile a C program then I get the same assurances as when I compile a Rust program?
Let's say you are using LLVM to compile a Rust program, and an "equivalent" C program. You can compile both of them down to IR, and then enforce type safety at the IR level. Doesn't that ensure that you can prove…
You could use LLVM to compile any language to LLVM IR, and then to machine code using a backend. Does that mean every language has the same properties as Rust? If Node/Java/Go use GC (or VMs), then aren't they more safe…
So why does C, for example, lack Rust's memory safety semantics? Is it something to do with the design of the language itself? Can Rust predict user input, whereas C cannot?
So isn't the memory model more to do with the compiler or operating system rather than the programming language? Do think it's possible to write a C compiler that checks for use after free, double free, buffer…
Could you please explain why and how the Rust compiler is better than compilers for other languages? After all, every language compiles down to machine code/assembly. So, the reason that one language is "better" than…
Is there a reason why all the above software cannot perform as "fast" or "safe" as Rust when written in other programming languages? After all, every program compiles down to machine code/assembly.
What do TCP/IP headers (SEQ/ACK/RecvWindow/src port/dst port/packet length/checksum/morefrags flag etc.) have to do with HTTP headers??????
fuck 2016.