Hacker News
- Show HN: Nomad Hypertext, a local first writing app built around semantic search https://github.com/nichwch/nomad-hypertext 7 comments
- Neural Symbolic Machines: Learning Semantic Parsers with Weak Supervision https://arxiv.org/abs/1611.00020 8 comments
Lobsters
- Katahdin - a programming language where the syntax and semantics are mutable at runtime http://chrisseaton.com/katahdin/ 16 comments compilers , compsci , plt
- Semantic Highlighting http://evanbrooks.info/syntax-highlight/ 8 comments programming
- Hailstorm: Haskell distributed stream processing with exactly-once semantics https://github.com/hailstorm-hs/hailstorm 8 comments haskell
- The Semantics of Software http://olivierlacan.com/posts/the-semantics-of-software/ 2 comments android , culture , programming
- Why semantic versioning isn't https://gist.github.com/jashkenas/cbd2b088e20279ae2c8e 10 comments programming
- Types, Logic, Semantics, and Verification https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments compsci , video
- Introducing the v1.0.0 Beta1 for the .NET Semantic Kernel SDK https://devblogs.microsoft.com/semantic-kernel/introducing-the-v1-0-0-beta1-for-the-net-semantic-kernel-sdk/ 8 comments dotnet
- How our knowledge of the world embedded in brain connectivity shapes our creativity. Scientists found real-life creativity relies on individual differences in semantic memory organization that can be predicted from brain functional connectivity. https://institutducerveau-icm.org/en/actualite/how-our-knowledge-of-the-world-embedded-in-brain-connectivity-shapes-our-creativity/ 3 comments science
- Researchers From Microsoft and Princeton University Find Text-Based Agents can Achieve High Scores Even in The Complete Absence of Semantics https://www.reddit.com/r/artificial/comments/mjd455/researchers_from_microsoft_and_princeton/ 5 comments artificial
- Request for Comments: Material on Specifying Programming-Language Semantics https://www.cs.uaf.edu/~chappell/misc/specifying_semantics.pdf 5 comments compsci
- Semantic requirements in concepts - Andrzej's C++ blog https://akrzemi1.wordpress.com/2020/10/26/semantic-requirements-in-concepts/ 12 comments cpp
- C++ Move Semantics - The Complete Guide http://www.cppmove.com/ 78 comments cpp
- ot getting caught up in semantics of “shopped” vs. “listening” — been there, done that, circa June, 2016 — but P.K. Subban’s name is out there floating around in the trade-sphere. NSH believed to be looking to clear cap space for either UFA shopping (Duchene?) or Josi extension https://twitter.com/tsnbobmckenzie/status/1142132860482015232 103 comments hockey
- A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture http://fsl.cs.illinois.edu/index.php/a_complete_formal_semantics_of_x86-64_user-level_instruction_set_architecture 11 comments programming
- The practical value of semantic HTML https://www.brucelawson.co.uk/2018/the-practical-value-of-semantic-html/ 44 comments webdev
- Slowing Killing the DAO: Introducing the Complete Semantics of the EVM in K https://www.ideals.illinois.edu/handle/2142/97207 31 comments ethereum
- [Johnson] The NBA sent out a memo today informing teams to only refer to league as 'G League' and not Gatorade League. Being told this is purely semantics and Gatorade title sponsorship still intact, but league making decision not to bear Gatorade name. https://twitter.com/adamj_nbagl/status/876923404007260160 25 comments nba
- gmaxwell and achow101 still playing semantic games over UASF https://bitcointalk.org/index.php?topic=1871762 3 comments btc
- On the universal structure of human lexical semantics (pdf, latest issue of PNAS) http://www.pnas.org/content/early/2016/01/25/1520752113.full.pdf 4 comments linguistics
- How to create version numbers that are actually semantic http://inedo.com/blog/how-to-create-version-numbers-that-are-actually-semantic 8 comments programming
- Track methods moved to different files - more on semantic version control http://codicesoftware.blogspot.com/2015/08/track-refactored-code-across-files-with.html 3 comments programming
- Sequence: A High Performance Sequential Semantic Log Parser http://zhen.org/blog/sequence-high-performance-sequential-semantic-log--parser/ 4 comments golang
- Semantic Versioning starting with Ruby 2.1.0 https://www.ruby-lang.org/en/news/2013/12/21/semantic-versioning-after-2-1-0/ 22 comments ruby
- I posted this in the comment of a post and people seemed to like it, so in case you missed it here is an HTML5 Semantic Flowchart. http://html5doctor.com/downloads/h5d-sectioning-flowchart.png 72 comments web_design
- Colin McGinn's defense: The literal semantic meaning of 'hand job' is work performed with one's hands http://mcginn.philospot.com/index.php?story=story130606-121126 57 comments philosophy
- C# Semantic Merge - beta just launched http://www.semanticmerge.com/ 82 comments programming
- Semantic Applications: Recipe Search http://edamam.com 4 comments semanticweb
- REST – Epic Semantic Fail http://mikehadlow.blogspot.co.uk/2012/08/rest-epic-semantic-fail.html 29 comments programming
- Does Java use pass by value or pass by reference semantics when passing parameters to methods? http://www.jguru.com/faq/view.jsp?eid=430996 2 comments learnprogramming
- Nice introduction to Programming Language Semantics http://web.archive.org/web/20040410154109/cs.wwc.edu/~aabyan/plbook/html/semantics.html 20 comments programming
- Amazing powertool to clean/analyse loads of data using the semantic web http://code.google.com/p/freebase-gridworks/ 3 comments programming
- GCCSense: fast, accurate semantic analysis. Emacs and Vim support. http://cx4a.org/software/gccsense/ 46 comments programming
- Lecture by Steven Pinker Addressing Semantics http://fora.tv/2008/09/12/steven_pinker_the_stuff_of_thought 3 comments cogsci
- Oh snap! Did Google Just Expose Semantic Data in Search Results? http://www.readwriteweb.com/archives/google_semantic_data.php 43 comments technology
Lambda the Ultimate
- Theorem proving support in programming language semantics http://arxiv.org/abs/0707.0926 2 comments Semantics
- Semantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation http://research.microsoft.com/research/pubs/view.aspx?id=898&type=technical+report 0 comments DSL , Logic/Declarative
- Semantics with Applications http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html 3 comments theory
- CS 6520: Programming Languages and Semantics http://www.cs.utah.edu/classes/cs6520/ 0 comments theory