For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | more algorithm314's commentsregister

By far the best email is ..... yandex.


In my university,my professor told us about the existance of this proof in December,and that he gave a presentation that time.So i guess it has been reviewed thoroughly.



The scope here is much larger as it’s every package in the Debian distro, not just the base system.


and pkgsrc has bulk package builds.

same pkgsrc checkout + reproducable base => essentially reproducable full package builds.

yes, some people will find some niggling way to make this not true because the binaries may be somehow altered due to timestamps, yadda, but for all practical purposes w/r/t the actual code and actual executables generated, this is true, and has been true for essentially the entire existance of bsd derivitaves using ports systems (1996).


> same pkgsrc checkout + reproducable base => essentially reproducable full package builds.

I would be truly surpised if that were the case. Are there no packages in pkgsrc which embed, e.g. timestamps, or even download things while building[1]?

[1] JDK packages are a typical culprit in this type of situation because Oracle JDK requires an "accept license" prompt.

> es, some people will find some niggling way to make this not true because the binaries may be somehow altered due to timestamps, yadda, but for all practical purposes w/r/t the actual code and actual executables generated, this is true, and has been true for essentially the entire existance of bsd derivitaves using ports systems (1996).

Oh, so you're coopting "essentially reproducable" to mean "not reproducible". Ok then.

"Reproducible builds" is about verification and isn't just about "close enough".


supports only x86 so deal breaker


Just to clarify, you mean there's no (official) build for ARM/MIPS/etc, right?

DragonflyBSD itself is officially supported on x86_64.


The only good reason I can think of to support something other than x86_64 is running on something like a raspberry pi or some sort of 'embedded' device. That's not really suited to the goals of Dragonfly anyways, NetBSD or Linux are a much better fit there.


Well yes because Dfly has really small community compared to even FreeBSD .. supporting/testing multiple architectures is a monumental task for distro maintainers.


And for anyone interested the record for the race is 20:25:00 by the legendary Yannis Kouros.


The ISA is epiphany or risc-v?


It's backward compatible with Epiphany-III...so it's still Epiphany ISA with new instructions.


I have read it but in the past he wrote a blog post that risc-v will be used as isa in future products.So maybe 64 bit risc-v with backwards compatibility with epiphane?(it sounds a bit strange)


I have two excuses for why RISC-V didn't make it it. My February RISC-V post stated that we will use RISC-V in our next chip. We were already under contract for this chip so I was referring to the next chip from now. I had hopes of sneaking it into this chip, but ran out of time. Both lame excuses, I know. I am firmly committed to RISC-V in some form in the future. For clarity, I am not talking about replacing the Epiphany ISA with a RISC-V ISA.


The Epiphany core is a co-processor, and the "main" processor is a couple of ARM cores to run Linux/other.

Maybe in the future they will offer boards with Risc-V main processors, and Epiphany co-processors.

I'm not sure how feasible 1024 Risc-V cores would be (although it sounds awesome). Epiphany cores were designed for this sort of thing.


Agree, but people have all kinds of pre-conceived notions about co-processors so let's clarify some things: e5 can't self-boot, doesn't have virtual memory management, and doesn't have hardware caching, but otherwise they are "real" cores. Each RISC core can run a lightweight runtime/scheduler/OS and be a host.


Jan Gray stuffed 400 RISC-V cores into a Xilinx Kintex UltraScale KU040 FPGA (and the KU115 is three times larger, not to mention the Virtex UltraScale range).

http://fpga.org/grvi-phalanx/


I think a heterogeneous product was implied in that post, but I don't blame you for the confusion. The Epiphany-V is still homogeneous because of the time/funding constraints.


Also there is an open source cubesat: https://upsat.gr/


Hey UPSat member here!

Getting ready to share some good news on the project in the coming couple of days regarding the successful integration to it's launch system and some details on the launch and delivery to ISS.


in action in ice40 fpga using icestorm http://www.excamera.com/sphinx/article-j1a-swapforth.html



Neural networks are used for over a decade in Context Mixing compressors like paq https://en.wikipedia.org/wiki/PAQ


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You